Search papers, labs, and topics across Lattice.
2
0
5
5
Graduate-level mathematics can now be auto-formalized at scale, opening the door to automated verification of both human and AI-generated proofs.
Reusing old data can actually *improve* LLM training, slashing compute costs without hurting performance.
