Hugging Face's logo
JiachengChen's picture
3 15 2

JiachengChen

JC-Chen
ljupco's profile picture yuell's profile picture dark-pen's profile picture
·
https://jc-chen1.github.io/

AI & ML interests

None yet

Recent Activity

authored a paper 17 days ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
upvoted a paper 17 days ago
MiniMax Sparse Attention
upvoted a paper 17 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