Yan Ma
ManTle
AI & ML interests
None yet
Recent Activity
upvoted a paper about 16 hours ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling upvoted a paper 2 days ago
On the Limits of LLM-as-Judge for Scientific Novelty Assessment liked a dataset 6 days ago
nvidia/Cosmos-HumanEval-v1