Search papers, labs, and topics across Lattice.
2
0
4
AxDafny achieves a remarkable 92.7% verification success rate, setting a new standard in agentic code generation for formal verification.
Forget toy problems: SorryDB offers a continuously updated stream of real-world Lean formalization tasks, providing a robust benchmark for AI provers to contribute to novel mathematics.
