Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Más de Agentes y razonamiento ese día

• IA y aprendizaje automático/Agentes y razonamiento23 de sept de 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 y 2 más — arXiv

  PreprintDice ser un gran avance

  Guardar
• IA y aprendizaje automático/Agentes y razonamiento23 de sept de 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 y 2 más — arXiv

  Preprint

  Guardar
• IA y aprendizaje automático/Agentes y razonamiento23 de sept de 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

  Guardar
• IA y aprendizaje automático/Agentes y razonamiento23 de sept de 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

  PreprintUso en el mundo real

  Guardar
• IA y aprendizaje automático/Agentes y razonamiento23 de sept de 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 y 8 más — arXiv

  Preprint

  Guardar

Todos los papers nuevos de Agentes y razonamiento