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
about 1 month ago
Group Distributionally Robust Optimization-Driven Reinforcement Learning for LLM Reasoning upvoted a paper about 1 month ago
Group Distributionally Robust Optimization-Driven Reinforcement Learning for LLM Reasoning Organizations
commented a paper 8 months ago