Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Paper
•
2507.06804
•
Published
•
15
•
1
Zhenwen Liang
invokerliang
AI & ML interests
Mathematical Reasoning.
Recent Activity
upvoted
a
paper
12 days ago
The Art of Scaling Reinforcement Learning Compute for LLMs
upvoted
a
paper
12 days ago
The Role of Computing Resources in Publishing Foundation Model Research
upvoted
a
paper
14 days ago
Building a Foundational Guardrail for General Agentic Systems via
Synthetic Data
Organizations
commented
a
paper
4 months ago