Hugging Face's logo
Yanmohan Wang's picture
1

Yanmohan Wang

Dct-Strange
liuxinyuanag24's profile picture xuan2wei1's profile picture dct-cell's profile picture
ยท

AI & ML interests

Large Language Models

Recent Activity

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

Organizations

None yet