U-WIN/equational-theory-lean2nl-references-opus-approved
Viewer • Updated • 8.01k • 6
AI & ML interests
None defined yet.
Recent Activity
View all activity
U-WIN/equational-theory-stage2-qwen38-graded
Viewer • Updated • 393k • 7
U-WIN/harvey-note-conditioned-rollouts-27b
Viewer • Updated • 24.6k • 27
U-WIN/equational-theory-sair-multiturn-rollouts
Viewer • Updated • 1.54M • 22
U-WIN/equational-theory-sair-300m-training-data
Viewer • Updated • 38.9k • 19
U-WIN/equational-theory-sair-note-conditioned-rollouts
Viewer • Updated • 937k • 65
U-WIN/equational-theory-stage2-base-bm25-rollouts
Viewer • Updated • 820 • 21
U-WIN/sair-stage2-nl-verified
Viewer • Updated • 205 • 201
U-WIN/equational-theory-sair-notes
Viewer • Updated • 1.06M • 296