Search papers, labs, and topics across Lattice.
3
0
6
FormalRx transforms opaque autoformalization evaluations into clear, actionable insights, enabling targeted improvements in formal reasoning systems.
Automating the RL workflow with HARBOR cuts engineering costs and enhances policy transferability to real-world robots.
LLM code generation benchmarks are likely overestimating model capabilities: adversarial test suite scaling reveals substantial weaknesses in even state-of-the-art models.
