Zeyu Zheng
zeyu-zheng
·
AI & ML interests
None yet
Recent Activity
authored
a paper
29 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience liked
a model 5 months ago
ByteDance-Seed/BFS-Prover-V2-7B upvoted a collection 5 months ago
BFS-Prover Organizations
None yet
Update README.md
#1 opened 5 months ago
by
zeyu-zheng
Update README.md
#1 opened 5 months ago
by
zeyu-zheng