Zhanming (Allan) Jie's picture

8 8 12

Zhanming (Allan) Jie

allanjie

·

https://allanj.github.io/

AI & ML interests

NLP, semantic parsing, named entity recognition

Recent Activity

authored a paper 18 days ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

upvoted a paper 24 days ago

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving

liked a dataset 3 months ago

simplescaling/results

View all activity

Organizations

allanjie 's datasets 4

allanjie/obt_and_mma_dataset

Viewer • Updated Sep 9, 2024 • 195k • 7 • 1

allanjie/mma

Viewer • Updated Aug 9, 2024 • 333k • 12

allanjie/agent_reft_feedback_based_actor

Viewer • Updated Jul 23, 2024 • 6.2k • 1

allanjie/agent_reft_feedback_warmup

Viewer • Updated Jul 23, 2024 • 13.2k • 1