Search papers, labs, and topics across Lattice.
3
0
6
X-Safe achieves formal safety guarantees for robotic manipulation without the heavy engineering burden, enabling seamless transfer across different embodiments and tasks.
RHO achieves a 45.0% success rate in robotic tasks, 2.5x higher than the best multi-turn agent, showcasing a breakthrough in real-time control efficiency.
Autonomous driving benchmarks get a reality check: ScenicRules exposes failures by combining prioritized, multi-objective rules with formally modeled, stochastic scenarios.
