Search papers, labs, and topics across Lattice.
Peking University
1
0
0
Fully autonomous autoformalization has breached research-level ML theory, generating 490k lines of sorry-free Lean code while exposing 28 subtle bugs and proof gaps across peer-reviewed optimization literature.
