Tencent-IMO's picture

1 1

Tencent-IMO

Tencent-IMO

·

https://tencent-imo.github.io/

AI & ML interests

None yet

Recent Activity

new activity 11 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

View all activity

Organizations

None yet

New activity in invokerliang/MWP-BERT-zh 11 days ago

Please give the tokenizer.json

#2 opened 12 days ago by