Qi Wen Wei's picture

Qi Wen Wei

Kevew

·

Kevew

AI & ML interests

None yet

Organizations

None yet

models 2

Kevew/hrm_test

Kevew/nemo_finetuned_minif2f

8B • Updated Jul 30 • 7

datasets 4

Kevew/test

Viewer • Updated Jul 30 • 253 • 11

Kevew/minif2f-kiminaprover8b-inferenced

Viewer • Updated Jul 27 • 485 • 14

Kevew/mathlib4_summary_tactic_states

Viewer • Updated Jul 24 • 16.8k • 17

Kevew/mathlib4_tactic_states

Viewer • Updated Jul 17 • 16.8k • 11