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

JiachengChen

JC-Chen
Dct-Strange's profile picture yuell's profile picture ljupco's profile picture
ยท
https://jc-chen1.github.io/

AI & ML interests

None yet

Recent Activity

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