Search papers, labs, and topics across Lattice.
1
0
2
Bridge the semantic gap between neural network execution and analysis with TorchLean, a framework that brings fully formal, end-to-end verification of learning-enabled systems into the Lean 4 theorem prover.
