Search papers, labs, and topics across Lattice.
Nanjing University, Polixir Technologies
2
0
2
Focusing optimization efforts on the Decomposer can yield a 19% improvement in proof autoformalization efficiency without increasing costs.
Aco2 enables quadrotors to autonomously adapt to diverse payloads in real-time, eliminating the need for manual calibration or system identification.
