Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
2
Rigorously verifying math proofs with LLMs reveals that subtle logical errors often stem from unstated conventions rather than hallucinations, reshaping our understanding of proof evaluation.