Cyrus Kwan's picture

Cyrus Kwan

wckwan

·

KwanWaiChung

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

wckwan 's datasets 2

wckwan/M4LE

Viewer • Updated Jul 25, 2024 • 13k • 211 • 3

wckwan/MT-Eval

Viewer • Updated Feb 20, 2024 • 1.06k • 1.74k • 2