Search papers, labs, and topics across Lattice.
1
0
State-of-the-art models barely scrape 20% accuracy on a new benchmark designed to tackle the complexities of theory-scale auto-formalization.
