Search papers, labs, and topics across Lattice.
2
0
4
4
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.
LLM judges inflate math proof scores by up to 0.36 points, revealing a significant alignment gap with human experts and a reasoning breakdown in discrete domains.