Imagen de Portada

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Hanyu, Xie, Ruohan, Wang, Yutong, Gao, Guoxiong, Yu, Xintao, Dong, Bin
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

PRIME: Training Free Proactive Reasoning via Iterative Memory Evolution for User-Centric Agent
por: Wang, Prince Zizhuang, et al.
Publicado: (2026)

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

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

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

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

DynaTrust: Defending Multi-Agent Systems Against Sleeper Agents via Dynamic Trust Graphs
por: Li, Yu, et al.
Publicado: (2026)

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

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

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

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

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

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

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

From Assistant to Double Agent: Formalizing and Benchmarking Attacks on OpenClaw for Personalized Local AI Agent
por: Wang, Yuhang, et al.
Publicado: (2026)

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