Haoxiong Liu's picture

2 2

Haoxiong Liu

Vivacem

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 11 hours ago

Vivacem/Goedel-Pset-prompt

published a dataset about 11 hours ago

Vivacem/Goedel-Pset-prompt

View all activity

Organizations

None yet

models 5

Vivacem/sft_v0314

Updated 22 days ago • 330

Vivacem/Qwen-72B-MMIQC

Text Generation • Updated Jan 31, 2024 • 5 • 1

Vivacem/Llemma-34B-MMIQC

Text Generation • Updated Jan 29, 2024

Vivacem/DeepSeek-67B-MMIQC

Text Generation • Updated Jan 20, 2024 • 7 • 1

Vivacem/Mistral-7B-MMIQC

Text Generation • Updated Jan 18, 2024 • 81 • 2

datasets 8

Vivacem/Goedel-Pset-prompt

Viewer • Updated about 11 hours ago • 1.73M

Vivacem/lean-workbook-prompt_nl

Viewer • Updated 22 days ago • 140k • 54

Vivacem/lean-workbook-prompt

Viewer • Updated 22 days ago • 140k • 61

Vivacem/lean-workbook-mixnl

Viewer • Updated 23 days ago • 280k • 50

Vivacem/goedel-workbook-sft

Viewer • Updated 27 days ago • 29.8k • 78

Vivacem/lean-workbook-unique

Viewer • Updated about 1 month ago • 13.5k • 168

Vivacem/MATH_woasy

Viewer • Updated Feb 18 • 11.4k • 57

Vivacem/MMIQC

Viewer • Updated Jan 20, 2024 • 2.29M • 132 • 16