Lean Pool: An AI-Maintained Archive of Formalized Mathematics

More on Agents & reasoning that day

• AI & machine learning/Agents & reasoningSep 23, 2026

  Recursive self-improvement of AI research agents

  Together, these results show that an AI research agent can improve its own research efficiency through recursive self-improvement, and that these gains transfer to tasks and domains the loop never encountered.

  Dhruv Srikanth, Bingchen Zhao, Dixing Xu and 2 more — arXiv

  PreprintClaims a big step

  Save
• AI & machine learning/Agents & reasoningSep 23, 2026

  GameDirector: Decoupling Gameplay Logic from Rendering for Player-Configurable Game World Models

  To bridge these paradigms, we introduce GameDirector, the first agentic framework that decouples rule-based gameplay logic from visual rendering.

  Zijun Lin, Zhiyang Deng, Yuzhe Wu and 2 more — arXiv

  Preprint

  Save
• AI & machine learning/Agents & reasoningSep 23, 2026

  Impact Is Not Invalidation: Ask About the Claim, Not the Diff

  Asked instead whether one specific claim still holds, the same models on the same diffs reach 0.705 to 0.974.

  Atul Anand — arXiv

  Preprint

  Save
• AI & machine learning/Agents & reasoningSep 23, 2026

  Governed AI-Agent Coordination for Dementia Care: Architecture, Safety Contracts, and Evidence-Derived Workflow Verification

  GCAC satisfies all 18 contract oracles with zero policy-violating tool calls and correctly preserves obligations, rejects stale state, creates human hand-offs, and records workflow closure.

  Francesca Medda, Hui Gong — arXiv

  PreprintReal-world use

  Save
• AI & machine learning/Agents & reasoningSep 23, 2026

  Towards Omni-dimensional GUI Agent Navigation with Masked Trajectory Prediction

  To overcome these barriers, we propose the MaP (stands for "Masked Trajectory Prediction"), a unified framework that seamlessly harmonizes divergent GUI navigation tasks.

  Yan Zhang, Pei Fu, Daiqing Wu and 8 more — arXiv

  Preprint

  Save

All new papers on Agents & reasoning