Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
Paper
•
2507.06804
•
Published
•
14
Wilson Li
Wilson-Lee
·
AI & ML interests
Natural Language Processing, Question Answering, Information Extraction, Large Language Models.
Recent Activity
upvoted
a
paper
3 days ago
Towards Solving More Challenging IMO Problems via Decoupled Reasoning
and Proving
upvoted
a
paper
4 months ago
Stop Overthinking: A Survey on Efficient Reasoning for Large Language
Models
liked
a model
8 months ago
Qwen/Qwen2.5-72B-Instruct
Organizations
None yet