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

Zhanming (Allan) Jie

allanjie
21world's profile picture GanjinZero's profile picture yuhuixu's profile picture
·
https://allanj.github.io/

AI & ML interests

NLP, semantic parsing, named entity recognition

Recent Activity

authored a paper 2 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
upvoted a paper 2 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