9 papers
Beyond Equation Search: Conjecture-Guided Discovery with SCOPE and ClosureBench
Yuxiao Hu, Qian Li, Ding Wang +4
Most symbolic regression methods optimize candidate equations, but improving an equation's fit does not establish whether its underlying scientific conjecture should be retained, r…
Vibe Calibration: Autonomous Bring-up of a 112-Qubit Superconducting Quantum Processor by a Skill-Orchestrating Language Agent
Huikai Xu, Jiaxiu Han, Shigang Ou +11
Superconducting quantum computing is one of the most mature solid-state platforms for quantum computation, with processors exceeding one hundred qubits. Yet further scaling toward…
Data-driven discovery of governing differential equations across physical systems
Siyu Lou, Hao Xu, Wenguan Wang +6
Differential equations play a critical role in scientific discovery because they provide a mathematical framework to describe the behaviour of physical phenomena. As a promising al…
PRL-Bench: A Comprehensive Benchmark Evaluating LLMs' Capabilities in Frontier Physics Research
Tingjia Miao, Wenkai Jin, Muhua Zhang +19
The paradigm of agentic science requires AI systems to conduct robust reasoning and engage in long-horizon, autonomous exploration. However, current scientific benchmarks remain co…
Automated Extraction of Collins-Soper Kernel from Lattice QCD using An Autonomous AI Physicist System
Jin-Xin Tan, Ting-Jia Miao, Mu-Hua Zhang +5
We employ {PhysMaster}, an autonomous agentic AI system integrating theoretical reasoning, numerical computation, and exploitation strategies towards ultra-long horizon automation,…
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, Wenkai Jin, Jinxin Tan +22
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…
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…
Emergent Slow Thinking in LLMs as Inverse Tree Freezing
Sihan Hu, Xiansheng Cai, Yuan Huang +5
Reinforcement learning with verifiable rewards (RLVR) enables large language models to acquire slow, multi-step reasoning from sparse final-answer signals. We provide a statistical…