2 citations · 5 across the 7 of their papers we have counts for
4 papers · 1 filter
Bohrium + SciMaster: Building the Infrastructure and Ecosystem for Agentic Science at Scale
Linfeng Zhang, Siheng Chen, Yuzhu Cai +46
AI agents are emerging as a practical way to run multi-step scientific workflows that interleave reasoning with tool use and verification, pointing to a shift from isolated AI-assi…
PORTool: Importance-Aware Policy Optimization with Rewarded Tree for Multi-Tool-Integrated Reasoning
Feijie Wu, Weiwu Zhu, Yuxiang Zhang +5
Multi-tool-integrated reasoning enables LLM-empowered tool-use agents to solve complex tasks by interleaving natural-language reasoning with calls to external tools. However, train…
Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
David Yin, Jing Gao
Large Language Models (LLMs) have demonstrated significant potential in generating mathematical proofs. However, a persistent challenge is that LLMs occasionally make mistakes, whi…
Talk to Right Specialists: Iterative Routing in Multi-agent Systems for Question Answering
Feijie Wu, Zitao Li, Fei Wei +3
Retrieval-augmented generation (RAG) agents are increasingly deployed to answer questions over local knowledge bases that cannot be centralized due to knowledge-sovereignty constra…