Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
DenoiseRL: Bootstrapping Reasoning Models to Recover from Noisy Prefixes
Caijun Xu, Changyi Xiao, Zhongyuan Peng +1
Reinforcement learning has become a central paradigm for advancing reasoning in large language models, yet most existing methods still depend on stronger teacher models or heavily…
cs.AI2025
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
Zhouliang Yu, Ruotian Peng, Keyi Ding +10
Formal mathematical reasoning remains a critical challenge for artificial intelligence, hindered by limitations of existing benchmarks in scope and scale. To address this, we prese…