Quanbo LIU
bnuhero
AI & ML interests
None yet
Recent Activity
upvoted a paper about 21 hours ago
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling upvoted a paper about 21 hours ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation upvoted a paper about 21 hours ago
An Enigma of Artificial Reason: Investigating the Production-Evaluation Gap in Large Reasoning ModelsOrganizations
None yet