Search papers, labs, and topics across Lattice.
2
0
6
0
LLMs can now formally verify the correctness of their own code, finding hundreds of bugs in systems already tested by human developers.
Visuomotor policies can learn to ignore distracting visual variations simply by preprocessing raw RGB images into task-aware, semantic-geometric representations *before* feeding them to the policy.
