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