Search papers, labs, and topics across Lattice.
University of California, Los Angeles
1
0
2
34
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.
