Hugging Face's logo
JiachengChen's picture

JiachengChen

JC-Chen
3 15 2
yuell's profile picture Spico's profile picture Dct-Strange's profile picture
·
https://jc-chen1.github.io/

AI & ML interests

None yet

Recent Activity

authored a paper 19 days ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
upvoted a paper 19 days ago
MiniMax Sparse Attention
upvoted a paper 19 days ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
View all activity

Organizations

LeanDojo's profile picture PRIME's profile picture PRIME-Scaling's profile picture vlaw's profile picture