3 papers
cs.SE2026
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…
cs.AI2025
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…
cs.LG2025
Learning-at-Criticality in Large Language Models for Quantum Field Theory and Beyond
Xiansheng Cai, Sihan Hu, Tao Wang +4
Fundamental physics often confronts complex symbolic problems with few guiding exemplars or established principles. While artificial intelligence (AI) offers promise, its typical n…