Search papers, labs, and topics across Lattice.
Affiliation:
2
0
6
4
By shifting from problem selection to research direction, this framework uncovers a wealth of mathematical conjectures that would otherwise remain hidden.
LLMs can autoformalize specs well enough to pass standard tests, but still fail on subtle edge cases 26% of the time, a risk missed by LLM-as-judge evaluations.
