Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Lushi Pu, Weiming Zhang, Xinheng Xie +6
Large Language Models (LLMs) have made notable progress in automated theorem proving, yet existing formal benchmarks remain limited in both mathematical coverage and difficulty. Mo…
cs.AI2025
RL in the Wild: Characterizing RLVR Training in LLM Deployment
Jiecheng Zhou, Qinghao Hu, Yuyang Jin +7
Large Language Models (LLMs) are now widely used across many domains. With their rapid development, Reinforcement Learning with Verifiable Rewards (RLVR) has surged in recent month…