Search papers, labs, and topics across Lattice.
2
0
3
9
Graduate-level mathematics can now be auto-formalized at scale, opening the door to automated verification of both human and AI-generated proofs.
LLMs can now automatically verify imperative code at scale, achieving state-of-the-art results on challenging verification benchmarks and paving the way for large-scale verified code datasets.
