Haoxiong Liu

Vivacem

·

AI & ML interests

None yet

Organizations

None yet

Vivacem 's datasets 18

Vivacem/rft_0811-q2515bi-iter1_12800-orig

Viewer • Updated Aug 17, 2025 • 2.43k • 16

Vivacem/rft_0811-q2515bi-iter1_12800-pa

Viewer • Updated Aug 17, 2025 • 4.77k • 13

Vivacem/Goedel-Pset-messages-10k

Viewer • Updated Aug 16, 2025 • 10k • 17 • 1

Vivacem/pset10k-kimina-1.7B-sft

Viewer • Updated Aug 11, 2025 • 8.84k • 43

Vivacem/pset10k-kimina-1.7B-sft-250730

Viewer • Updated Aug 11, 2025 • 8.84k • 15

Vivacem/pset-messages-140k

Viewer • Updated Aug 10, 2025 • 139k • 14 • 1

Vivacem/lean-workbook-messages

Viewer • Updated Aug 6, 2025 • 140k • 28 • 1

Vivacem/pset-messages

Viewer • Updated Jul 24, 2025 • 1.73M • 19 • 1

Vivacem/Goedel-Pset-messages

Viewer • Updated Apr 24, 2025 • 1.73M • 67 • 1

Vivacem/minif2f-prompt

Viewer • Updated Apr 14, 2025 • 488 • 10

Vivacem/Goedel-Pset-prompt

Viewer • Updated Apr 9, 2025 • 1.73M • 54

Vivacem/lean-workbook-prompt_nl

Viewer • Updated Mar 18, 2025 • 140k • 14

Vivacem/lean-workbook-prompt

Viewer • Updated Mar 18, 2025 • 140k • 12

Vivacem/lean-workbook-mixnl

Viewer • Updated Mar 18, 2025 • 280k • 30

Vivacem/goedel-workbook-sft

Viewer • Updated Mar 13, 2025 • 29.8k • 40

Vivacem/lean-workbook-unique

Viewer • Updated Mar 10, 2025 • 13.5k • 24

Vivacem/MATH_woasy

Viewer • Updated Feb 18, 2025 • 11.4k • 13

Vivacem/MMIQC

Viewer • Updated Jan 20, 2024 • 2.29M • 1.07k • 18