PaperFormalizer: Author-in-the-Loop Autoformalization of Research Papers in Lean Paper • 2610.31810 • Published 8 days ago • 9
WorldStream: Streaming Interactive 3D Worlds with Hierarchical Planning and Persistent State Paper • 2610.28827 • Published 10 days ago • 21
AutoSciBench: Autonomous Benchmark Generation for Evaluating Scientific Agents Paper • 2610.05140 • Published 26 days ago • 46
MetaRubric: Learning to Reward for Rubric-Based Reinforcement Learning Paper • 2610.02824 • Published 28 days ago • 33