Cyrus Kwan
wckwan
AI & ML interests
None yet
Recent Activity
upvoted a paper 10 days ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation upvoted a paper 27 days ago
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks updated a model 2 months ago
wckwan/long-drtulu-solver-olmo-3-7b-instruct-fsdpOrganizations
