Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Lomonosov Moscow State University, Central University
1
0
1
Memory constraints in neural network verification can be drastically reduced by leveraging parallelism techniques, enabling more extensive and efficient safety property checks.