CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? Paper • 2610.07557 • Published 2 days ago • 53
Deferred Exposure of Future Trajectories for Verifiable Reasoning in Autonomous Driving VLMs Paper • 2608.01755 • Published Aug 3 • 58
LocalSearchBench: Benchmarking Agentic Search in Real-World Local Life Services Paper • 2512.07436 • Published Dec 8, 2025 • 1