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