5 papers · 1 filter
Inverse Knowledge Search over Verifiable Reasoning: Synthesizing a Scientific Encyclopedia from a Long Chains-of-Thought Knowledge Base
Yu Li, Yuan Huang, Tao Wang +19
Most scientific materials compress reasoning, presenting conclusions while omitting the derivational chains that justify them. This compression hinders verification by lacking expl…
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…
PhysMaster: Building an Autonomous AI Physicist for Theoretical and Computational Physics Research
Tingjia Miao, Jiawen Dai, Jingkun Liu +23
Advances in LLM reasoning and tool use have enabled agentic science, yet frontier theoretical and computational physics remains challenging because research requires deep domain ex…
SciMaster: Towards General-Purpose Scientific AI Agents, Part I. X-Master as Foundation: Can We Lead on Humanity's Last Exam?
Jingyi Chai, Shuo Tang, Rui Ye +8
The rapid advancements of AI agents have ignited the long-held ambition of leveraging them to accelerate scientific discovery. Achieving this goal requires a deep understanding of…
ML-Master: Towards AI-for-AI via Integration of Exploration and Reasoning
Zexi Liu, Yuzhu Cai, Xinyu Zhu +6
As AI capabilities advance toward and potentially beyond human-level performance, a natural transition emerges where AI-driven development becomes more efficient than human-centric…