U-WIN/qwen35-9b-equational-theory-sair-syncards-a-v2rubric-grpo-20261104
Text Generation • 10B • Updated
AI & ML interests
None defined yet.
Recent Activity
View all activity
models 28
U-WIN/qwen35-9b-equational-theory-sair-syncards-qwen-solved-cards123-rs-sft-kl-0p01
10B • Updated
U-WIN/qwen35-9b-equational-theory-sair-syncards-qwen-written-cards123-ntp-kl-0p01
10B • Updated
U-WIN/qwen35-9b-equational-theory-sair-syncards-e-notes50m-card3-ntp-kl-0p01
Image-Text-to-Text • 10B • Updated • 2
U-WIN/qwen35-9b-equational-theory-sair-rft-r1-closedbook-3ep-from-syncards-a
Image-Text-to-Text • 10B • Updated • 2
U-WIN/qwen35-9b-equational-theory-sair-syncards-b-cards123-ntp-kl-0p01
Image-Text-to-Text • 10B • Updated • 4
U-WIN/qwen35-9b-equational-theory-sair-rft-k3-closedbook-notesstrict-finalgate-2ep-from-notes50m-kl
Image-Text-to-Text • 10B • Updated • 2
U-WIN/qwen35-9b-equational-theory-sair-syncards-a-notes50m-cards123-ntp-kl-0p01
Image-Text-to-Text • 10B • Updated • 6
U-WIN/qwen35-9b-equational-theory-sair-rft-k1-closedbook-2ep-from-notes50m-kl
Image-Text-to-Text • 10B • Updated • 2
U-WIN/qwen35-9b-equational-theory-sair-syncards-c-notes50m-card1-ntp-kl-0p01
Image-Text-to-Text • 10B • Updated • 1
datasets 12
U-WIN/sair-stage2-nl-verified-v2-rubric
Viewer • Updated • 205 • 138
U-WIN/equational-theory-lean2nl-references-gpt-approved-v2-rubric
Viewer • Updated • 2.18k • 129
U-WIN/equational-theory-lean2nl-references-gpt-approved
Viewer • Updated • 2.18k • 76
U-WIN/equational-theory-lean2nl-references-opus-approved
Viewer • Updated • 8.01k • 37
U-WIN/equational-theory-stage2-qwen38-graded
Viewer • Updated • 393k • 74
U-WIN/harvey-note-conditioned-rollouts-27b
Viewer • Updated • 24.6k • 44
U-WIN/equational-theory-sair-multiturn-rollouts
Viewer • Updated • 1.54M • 172
U-WIN/equational-theory-sair-300m-training-data
Viewer • Updated • 38.9k • 23
U-WIN/equational-theory-sair-note-conditioned-rollouts
Viewer • Updated • 937k • 73
U-WIN/equational-theory-stage2-base-bm25-rollouts
Viewer • Updated • 820 • 27