Tencent-IMO/IMO-Lemmas
Viewer
•
Updated
•
667
•
1.47k
•
3
Tencent-IMO
Tencent-IMO
AI & ML interests
None yet
Recent Activity
new activity
10 days ago
invokerliang/MWP-BERT-zh:Please give the tokenizer.json
updated
a dataset
about 1 month ago
Tencent-IMO/IMO-Lemmas
upvoted
a
paper
about 2 months ago
Towards Solving More Challenging IMO Problems via Decoupled Reasoning
and Proving
Organizations
None yet