Hugging Face's logo
Zhanming (Allan) Jie's picture
9 9 12

Zhanming (Allan) Jie

allanjie
WhiteGiverPlus's profile picture 21world's profile picture hanwenzhu's profile picture
·
https://allanj.github.io/

AI & ML interests

NLP, semantic parsing, named entity recognition

Recent Activity

authored a paper 10 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
upvoted a paper 10 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
authored a paper 5 months ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
View all activity

Organizations

Salesforce's profile picture ByteDance's profile picture Agents-MCP-Hackathon's profile picture