Search papers, labs, and topics across Lattice.
1
0
2
Splitting relational neurons, rather than individual ones, leads to a breakthrough in efficiently verifying neural networks against complex relational specifications.
