Haoxiong Liu's picture

2 2

Haoxiong Liu

Vivacem

·

AI & ML interests

None yet

Recent Activity

updated a model 15 days ago

Vivacem/sigma-gpt

published a model 15 days ago

Vivacem/sigma-gpt

updated a dataset about 1 month ago

Vivacem/Goedel-Pset-messages

View all activity

Organizations

None yet

models 6

Vivacem/sigma-gpt

Updated 15 days ago

Vivacem/sft_v0314

Vivacem/Qwen-72B-MMIQC

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

Vivacem/Llemma-34B-MMIQC

Text Generation • Updated Jan 29, 2024 • 9

Vivacem/DeepSeek-67B-MMIQC

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

Vivacem/Mistral-7B-MMIQC

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

datasets 12

Vivacem/Goedel-Pset-messages

Viewer • Updated Apr 24 • 1.73M • 62

Vivacem/Goedel-Pset-messages-10k

Viewer • Updated Apr 22 • 10k • 27

Vivacem/lean-workbook-messages

Viewer • Updated Apr 22 • 140k • 76

Vivacem/minif2f-prompt

Viewer • Updated Apr 14 • 488 • 17

Vivacem/Goedel-Pset-prompt

Viewer • Updated Apr 9 • 1.73M • 53

Vivacem/lean-workbook-prompt_nl

Viewer • Updated Mar 18 • 140k • 11

Vivacem/lean-workbook-prompt

Viewer • Updated Mar 18 • 140k • 62

Vivacem/lean-workbook-mixnl

Viewer • Updated Mar 18 • 280k • 13

Vivacem/goedel-workbook-sft

Viewer • Updated Mar 13 • 29.8k • 68

Vivacem/lean-workbook-unique

Viewer • Updated Mar 10 • 13.5k • 10