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