CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? Paper • 2610.07557 • Published 6 days ago • 69
From Traces to Agentic Worlds: Agentic Language World Models for Interactive Environment Simulation Paper • 2610.06100 • Published 7 days ago • 130