13 citations · 24 across the 10 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
OpenProblemBench: Benchmarking AI on Open Problems in the Foundational Theoretical Sciences
Zhiyi Li, Sihan Hu, Tianning Xiao +4
The next frontier for artificial general intelligence is tackling unresolved scientific problems, calling for benchmarks that assess progress beyond established knowledge. We intro…
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.AI2025
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…