Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
JiachengChen's picture
3 15 2

JiachengChen

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

AI & ML interests

None yet

Recent Activity

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

Papers 8

arxiv:2606.13473
arxiv:2511.13612
arxiv:2509.07894
arxiv:2508.08636
View 8 papers

models 0

None public yet

datasets 0

None public yet
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs