Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Paper
•
2507.06804
•
Published
•
16
•
1
Zhenwen Liang
invokerliang
AI & ML interests
Mathematical Reasoning.
Recent Activity
authored
a paper
15 days ago
Can LLMs Guide Their Own Exploration? Gradient-Guided Reinforcement Learning for LLM Reasoning
updated
a dataset
about 1 month ago
invokerliang/math_aime_grpo
Organizations
commented
a
paper
6 months ago