:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wang, Hanyu, Xie, Ruohan, Wang, Yutong, Gao, Guoxiong, Yu, Xintao, Dong, Bin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2510.04520
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
by: Gao, Guoxiong, et al.
Published: (2026)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

Herald: A Natural Language Annotated Lean 4 Dataset
by: Gao, Guoxiong, et al.
Published: (2024)

Beyond Static Retrieval: Opportunities and Pitfalls of Iterative Retrieval in GraphRAG
by: Guo, Kai, et al.
Published: (2025)

GDPR Auto-Formalization with AI Agents and Human Verification
by: Nguyen, Ha Thanh, et al.
Published: (2026)

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
by: Jiang, Jiedong, et al.
Published: (2025)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
by: Shen, Ziju, et al.
Published: (2025)

Tool Graph Retriever: Exploring Dependency Graph-based Tool Retrieval for Large Language Models
by: Gao, Linfeng, et al.
Published: (2025)

MobileIPL: Enhancing Mobile Agents Thinking Process via Iterative Preference Learning
by: Huang, Kun, et al.
Published: (2025)

Graph-of-Skills: Dependency-Aware Structural Retrieval for Massive Agent Skills
by: Liu, Dawei, et al.
Published: (2026)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
by: Ping, Bowen, et al.
Published: (2025)

ViDoRAG: Visual Document Retrieval-Augmented Generation via Dynamic Iterative Reasoning Agents
by: Wang, Qiuchen, et al.
Published: (2025)

Iterative Formalization and Planning in Partially Observable Environments
by: Gong, Liancheng, et al.
Published: (2025)

DEMENTIA-PLAN: An Agent-Based Framework for Multi-Knowledge Graph Retrieval-Augmented Generation in Dementia Care
by: Song, Yutong, et al.
Published: (2025)

AutoAgents: A Framework for Automatic Agent Generation
by: Chen, Guangyao, et al.
Published: (2023)

AutoSculpt: A Pattern-based Model Auto-pruning Framework Using Reinforcement Learning and Graph Learning
by: Jing, Lixian, et al.
Published: (2024)

Automated Formalization via Conceptual Retrieval-Augmented LLMs
by: Lu, Wangyue, et al.
Published: (2025)

Plug-and-Play Dramaturge: A Divide-and-Conquer Approach for Iterative Narrative Script Refinement via Collaborative LLM Agents
by: Xie, Wenda, et al.
Published: (2025)

AutoGLM: Autonomous Foundation Agents for GUIs
by: Liu, Xiao, et al.
Published: (2024)

Walk Wisely on Graph: Knowledge Graph Reasoning with Dual Agents via Efficient Guidance-Exploration
by: Wang, Zijian, et al.
Published: (2024)

MERMAID: Memory-Enhanced Retrieval and Reasoning with Multi-Agent Iterative Knowledge Grounding for Veracity Assessment
by: Cao, Yupeng, et al.
Published: (2026)

Formal Skill: Programmable Runtime Skills for Efficient and Accurate LLM Agents
by: Zhang, Xi, et al.
Published: (2026)

LLM-Enhanced Energy Contrastive Learning for Out-of-Distribution Detection in Text-Attributed Graphs
by: Ma, Xiaoxu, et al.
Published: (2026)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
by: Park, Young Bin
Published: (2026)

Improving Autoformalization Using Direct Dependency Retrieval
by: Wang, Shaoqi, et al.
Published: (2025)

Solving Formal Math Problems by Decomposition and Iterative Reflection
by: Zhou, Yichi, et al.
Published: (2025)

PreFlect: From Retrospective to Prospective Reflection in Large Language Model Agents
by: Wang, Hanyu, et al.
Published: (2026)

AgentInit: Initializing LLM-based Multi-Agent Systems via Diversity and Expertise Orchestration for Effective and Efficient Collaboration
by: Tian, Chunhao, et al.
Published: (2025)

Iterative Multimodal Retrieval-Augmented Generation for Medical Question Answering
by: Chen, Xupeng, et al.
Published: (2026)

AutoPKG: An Automated Framework for Dynamic E-commerce Product-Attribute Knowledge Graph Construction
by: Hongwimol, Pollawat, et al.
Published: (2026)

When Agents See Humans as the Outgroup: Belief-Dependent Bias in LLM-Powered Agents
by: Wang, Zongwei, et al.
Published: (2026)

Formally Verified Approximate Policy Iteration
by: Schäffeler, Maximilian, et al.
Published: (2024)

X-RAY: Mapping LLM Reasoning Capability via Formalized and Calibrated Probes
by: Tianxi, Gao, et al.
Published: (2026)

MGRetrieval: Memory-Guided Reflective Retrieval for Long-Term Dialogue Agents
by: Wang, Tan, et al.
Published: (2026)

SWE-Search: Enhancing Software Agents with Monte Carlo Tree Search and Iterative Refinement
by: Antoniades, Antonis, et al.
Published: (2024)

AutoAgent: Evolving Cognition and Elastic Memory Orchestration for Adaptive Agents
by: Wang, Xiaoxing, et al.
Published: (2026)

FadeMem: Biologically-Inspired Forgetting for Efficient Agent Memory
by: Wei, Lei, et al.
Published: (2026)

Learning Strategic Language Agents in the Werewolf Game with Iterative Latent Space Policy Optimization
by: Xu, Zelai, et al.
Published: (2025)

FIRE: Fact-checking with Iterative Retrieval and Verification
by: Xie, Zhuohan, et al.
Published: (2024)

VideoMiner: Iteratively Grounding Key Frames of Hour-Long Videos via Tree-based Group Relative Policy Optimization
by: Cao, Xinye, et al.
Published: (2025)