wckwan/long-solver-v1.9.25-iter3-qwen-3-8b-gs60
8B • Updated • 11
Cyrus Kwan
wckwan
AI & ML interests
None yet
Recent Activity
upvoted a paper about 11 hours ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation updated a model 9 days ago
wckwan/long-solver-v1.9.25-iter3-qwen-3-8b-gs60 published a model 9 days ago
wckwan/long-solver-v1.9.25-iter3-qwen-3-8b-gs60Organizations
wckwan/long-solver-v1.9.25-iter1-qwen-3-8b-gs20
8B • Updated • 22
wckwan/long-solver-v1.9.25-iter2-qwen-3-8b-gs40
8B • Updated • 24
wckwan/long-drtulu-solver-olmo-3-7b-instruct-fsdp
Updated
wckwan/long-drtulu-solver-qwen2.5-7b-instruct-fsdp
Updated
wckwan/long-solver-v1.9.21-iter1-qwen3-8b-fsdp
Updated
wckwan/long-solver-v1.9.21d-iter2-qwen-3-8b-gs40
8B • Updated • 1
wckwan/long-solver-v1.9.21d-iter1-qwen-3-8b-gs20
8B • Updated • 1
wckwan/long-solver-v1.9.21d-iter3-qwen-3-8b-gs60
8B • Updated • 1
wckwan/long-solver-v1.9.21-iter3-olmo-3-7b-instruct
Updated
wckwan/long-solver-v1.9.21-iter2-olmo-3-7b-instruct
Updated
wckwan/long-solver-v1.9.21-iter1-olmo-3-7b-instruct
Updated
wckwan/long-solver-v1.9.23-iter1-qwen2.5-7b
Updated
wckwan/long-solver-v1.9.23-iter2-qwen2.5-7b
Updated
wckwan/nq-search-r1-grpo-qwen2.5-7b-it-drzero-baseline
Updated