Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
2
0
2
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.
Latent reasoning can now be validated in real-time, with a novel method that boosts accuracy by over 16 points on critical benchmarks.