Yanmohan Wang's picture

1

Yanmohan Wang

Dct-Strange

·

dct-cell

AI & ML interests

Large Language Models

Recent Activity

authored a paper about 14 hours ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

upvoted a paper 3 days ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

View all activity

Organizations

None yet

Dct-Strange 's models

None public yet