Search papers, labs, and topics across Lattice.
1
0
2
SLiR can verify 7.8x more properties than existing methods by automating the generation of linear relaxations for a diverse range of activation functions.
