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
updated
a dataset
18 days ago
invokerliang/math_aime_grpo
published
a dataset
18 days ago
invokerliang/math_aime_grpo
upvoted
a
paper
about 1 month ago
SPICE: Self-Play In Corpus Environments Improves Reasoning
Organizations
commented
a
paper
5 months ago