Search papers, labs, and topics across Lattice.
Affiliation:
2
1
3
0
LLMs for math translate statements towards generality, widening quantification domains in over 60% of cases, yet fail to explicitly state implicit hypotheses, suggesting a shallow understanding of theoretical relationships.
Even the top-performing LLM struggles with cross-file reasoning, achieving only 69.1% accuracy on a new benchmark designed to reflect real-world software development challenges.
