Search papers, labs, and topics across Lattice.
Johns Hopkins University, University of Toronto, An University of Pennsylvania, University of Pennsylvania, Drexel University, Xujie Si University of Toronto
1
0
1
State-of-the-art models barely scrape 20% accuracy on a new benchmark designed to tackle the complexities of theory-scale auto-formalization.
