Search papers, labs, and topics across Lattice.
2
0
5
FormalRx transforms opaque autoformalization evaluations into clear, actionable insights, enabling targeted improvements in formal reasoning systems.
Robot dogs can learn to climb complex U-shaped stairs and generalize to other stair types using a two-stage RL approach, opening doors for more versatile robotic navigation in construction and other environments.
