Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Recursive Improvement of a Differentiable Scientific Software Ecosystem
Pengcheng Hou, Xiaojun Tan, Sihan Hu +5
Differentiable programming connects scientific computation with gradient-based inference, learning and design. Extending these capabilities across a heterogeneous software ecosyste…
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…