ZhangXinyu

Zhongxieye

3 5

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 25 days ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

upvoted a paper about 1 month ago

COLLEAGUE.SKILL: Automated AI Skill Generation via Expert Knowledge Distillation

updated a dataset 4 months ago

Zhongxieye/Thinkmorph-cube-benchmark

View all activity

Organizations

Zhongxieye 's models

None public yet