Haoxiong Liu's picture

2 2

Haoxiong Liu

Vivacem

·

AI & ML interests

None yet

Recent Activity

updated a dataset 5 days ago

Vivacem/Goedel-Pset-messages

published a dataset 5 days ago

Vivacem/Goedel-Pset-messages

updated a dataset 7 days ago

Vivacem/Goedel-Pset-messages-10k

View all activity

Organizations

None yet

models 5

Vivacem/sft_v0314

Updated Mar 18 • 3

Vivacem/Qwen-72B-MMIQC

Text Generation • Updated Jan 31, 2024 • 1

Vivacem/Llemma-34B-MMIQC

Text Generation • Updated Jan 29, 2024

Vivacem/DeepSeek-67B-MMIQC

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

Vivacem/Mistral-7B-MMIQC

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

datasets 12

Vivacem/Goedel-Pset-messages

Viewer • Updated 5 days ago • 1.73M • 86

Vivacem/Goedel-Pset-messages-10k

Viewer • Updated 7 days ago • 10k • 62

Vivacem/lean-workbook-messages

Viewer • Updated 7 days ago • 140k • 78

Vivacem/minif2f-prompt

Viewer • Updated 14 days ago • 488 • 47

Vivacem/Goedel-Pset-prompt

Viewer • Updated 19 days ago • 1.73M • 84

Vivacem/lean-workbook-prompt_nl

Viewer • Updated Mar 18 • 140k • 37

Vivacem/lean-workbook-prompt

Viewer • Updated Mar 18 • 140k • 55

Vivacem/lean-workbook-mixnl

Viewer • Updated Mar 18 • 280k • 32

Vivacem/goedel-workbook-sft

Viewer • Updated Mar 13 • 29.8k • 18

Vivacem/lean-workbook-unique

Viewer • Updated Mar 10 • 13.5k • 23