Hugging Face's logo
Cyrus Kwan's picture
1 7

Cyrus Kwan

wckwan
pminervini's profile picture aryopg's profile picture John6666's profile picture
·

AI & ML interests

None yet

Recent Activity

upvoted a paper 7 days ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
upvoted a paper 23 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-fsdp
View all activity

Organizations

Edinburgh Dataset Analytics Working Group's profile picture