Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Nice Fold or Hero Call: Learning Budget-Efficient Thinking for Adaptive Reasoning
Zhaomeng Zhou, Lan Zhang, Junyang Wang +2
Large reasoning models (LRMs) improve problem solving through extended reasoning, but often misallocate test-time compute. Existing efficiency methods reduce cost by compressing re…
cs.AI2026
FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean
Jordan Meadows, Lan Zhang, Andre Freitas
Formalising informal mathematical reasoning into formally verifiable code is a significant challenge for large language models. In scientific fields such as physics, domain-specifi…