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.
HEART achieves 84% task completion on real-world tasks, outperforming leading models while slashing API costs by up to 85%.