Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
University of California
2
0
4
Uncovering crucial supporting lemmas for theorem proving by traversing multi-hop dependencies in a formal library's declaration graph.
Current LLM-driven theorem provers fall short in addressing the complexities of frontier mathematics, necessitating a shift towards research agents that can engage in rigorous mathematical exploration.