Search papers, labs, and topics across Lattice.
University of Science and Technology of China
1
0
Focusing optimization efforts on the Decomposer can yield a 19% improvement in proof autoformalization efficiency without increasing costs.
