5 papers
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…
Deploy-Master: Automating the Deployment of 50,000+ Agent-Ready Scientific Tools in One Day
Yi Wang, Zhenting Huang, Zhaohan Ding +6
Open-source scientific software is abundant, yet most tools remain difficult to compile, configure, and reuse, sustaining a small-workshop mode of scientific computing. This deploy…
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…
DeePMD-kit v3: A Multiple-Backend Framework for Machine Learning Potentials
Jinzhe Zeng, Duo Zhang, Anyang Peng +44
In recent years, machine learning potentials (MLPs) have become indispensable tools in physics, chemistry, and materials science, driving the development of software packages for m…
The OpenLAM Challenges
Anyang Peng, Xinzijian Liu, Ming-Yu Guo +2
Inspired by the success of Large Language Models (LLMs), the development of Large Atom Models (LAMs) has gained significant momentum in scientific computation. Since 2022, the Deep…