Vivacem/rft_0811-q2515bi-iter1_12800-orig
Viewer • Updated • 2.43k • 5
Haoxiong Liu
Vivacem
AI & ML interests
None yet
Organizations
None yet
Vivacem/rft_0811-q2515bi-iter1_12800-pa
Viewer • Updated • 4.77k • 5
Vivacem/Goedel-Pset-messages-10k
Viewer • Updated • 10k • 5 • 1
Vivacem/pset10k-kimina-1.7B-sft
Viewer • Updated • 8.84k • 21
Vivacem/pset10k-kimina-1.7B-sft-250730
Viewer • Updated • 8.84k • 5
Vivacem/pset-messages-140k
Viewer • Updated • 139k • 13 • 1
Vivacem/lean-workbook-messages
Viewer • Updated • 140k • 8 • 1
Vivacem/pset-messages
Viewer • Updated • 1.73M • 14 • 1
Vivacem/Goedel-Pset-messages
Viewer • Updated • 1.73M • 10 • 1
Vivacem/minif2f-prompt
Viewer • Updated • 488 • 4
Vivacem/Goedel-Pset-prompt
Viewer • Updated • 1.73M • 6
Vivacem/lean-workbook-prompt_nl
Viewer • Updated • 140k • 4
Vivacem/lean-workbook-prompt
Viewer • Updated • 140k • 4
Vivacem/lean-workbook-mixnl
Viewer • Updated • 280k • 4
Vivacem/goedel-workbook-sft
Viewer • Updated • 29.8k • 4
Vivacem/lean-workbook-unique
Viewer • Updated • 13.5k • 4
Vivacem/MATH_woasy
Viewer • Updated • 11.4k • 4
Vivacem/MMIQC
Viewer • Updated • 2.29M • 94 • 18