Xuyang Hu

huxy912

48

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 9 days ago

EvoPolicyGym: Evaluating Autonomous Policy Evolution in Interactive Environments

upvoted a paper 30 days ago

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

upvoted a paper about 1 month ago

ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics

View all activity

Organizations

huxy912 's models

None public yet