Search papers, labs, and topics across Lattice.
1
0
3
LLMs can now have their math solutions rigorously checked by a new pipeline that uses proof assistants and structured prompting, reducing reliance on answer-only correctness.