Search papers, labs, and topics across Lattice.
3
5
6
40
Transitioning from isolated statements to a unified theory-level autoformalization could revolutionize how we build formal knowledge bases.
Unlock continuous robot learning with Tether, the first method to achieve hours of autonomous multi-task play in the real world, starting from just a handful of demonstrations.
Contextual retrieval based on natural language descriptions can dramatically enhance program optimization performance, outperforming traditional methods by over 2x.
