Hugging Face's logo
Yanmohan Wang's picture

Yanmohan Wang

Dct-Strange
1
liuxinyuanag24's profile picture xuan2wei1's profile picture dct-cell's profile picture
·

AI & ML interests

Large Language Models

Recent Activity

authored a paper about 2 months ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
upvoted a paper about 2 months ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
View all activity

Organizations

None yet