Search papers, labs, and topics across Lattice.
2
0
2
SurfSVR transforms 2D surface information into robust 3D structures, eliminating common artifacts and achieving unprecedented reconstruction quality.
Focusing optimization efforts on the Decomposer can yield a 19% improvement in proof autoformalization efficiency without increasing costs.
