-
Scaling Mathematical Proof Supervision from Structured Textbooks
Paper • 2610.40394 • Published • 44 -
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
Paper • 2607.11849 • Published • 27 -
Achieving Olympia-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning
Paper • 2512.10534 • Published • 33
Zhouqi Hua
ZhouqiHUA
webbrain-one-469946's profile picture
Youqing's profile picture
webbrain-one-126079's profile picture·
AI & ML interests
reasoning LLM
Recent Activity
updated a collection about 8 hours ago
Mathematical Post-training & Reasoning updated a collection about 8 hours ago
Mathematical Post-training & Reasoning authored a paper about 23 hours ago
Incentivizing Self-Learning in Large Language Models via Reinforcement LearningOrganizations
None yet
-
Scaling Mathematical Proof Supervision from Structured Textbooks
Paper • 2610.40394 • Published • 44 -
AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification
Paper • 2607.11849 • Published • 27 -
Achieving Olympia-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning
Paper • 2512.10534 • Published • 33
models 0
None public yet
datasets 0
None public yet