U-WIN/equational-theory-lean2nl-references-gpt-approved-v2-rubric Viewer • Updated 6 days ago • 2.18k • 146
U-WIN/equational-theory-sair-note-conditioned-rollouts Viewer • Updated about 1 month ago • 937k • 33