From the 1 of 9 linked papers with an AI index.
7 papers · 1 filter
Anything2Skill: Compiling External Knowledge into Reusable Skills for Agents
Qianjun Pan, Yutao Yang, Junsong Li +5
Retrieval-augmented generation (RAG) enables agents to access external knowledge at inference time, but it primarily retrieves fragmented declarative evidence, leaving agents to re…
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Lushi Pu, Weiming Zhang, Xinheng Xie +6
Large Language Models (LLMs) have made notable progress in automated theorem proving, yet existing formal benchmarks remain limited in both mathematical coverage and difficulty. Mo…
MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery
Shangheng Du, Xiangchao Yan, Jinxin Shi +11
Large language model (LLM) agents are increasingly applied to long-horizon tasks such as scientific discovery and machine learning engineering (MLE), where sustained self-evolution…
AutoSkill: Experience-Driven Lifelong Learning via Skill Self-Evolution
Yutao Yang, Junsong Li, Qianjun Pan +9
In practical LLM applications, users repeatedly express stable preferences and requirements, such as reducing hallucinations, following institutional writing conventions, or avoidi…
CeProAgents: A Hierarchical Agents System for Automated Chemical Process Development
Yuhang Yang, Ruikang Li, Jifei Ma +8
The development of chemical processes, a cornerstone of chemical engineering, presents formidable challenges due to its multi-faceted nature, integrating specialized knowledge, con…
DualResearch: Entropy-Gated Dual-Graph Retrieval for Answer Reconstruction
Jinxin Shi, Zongsheng Cao, Runmin Ma +6
The deep-research framework orchestrates external tools to perform complex, multi-step scientific reasoning that exceeds the native limits of a single large language model. However…