Qi Wen Wei's picture

Qi Wen Wei

Kevew

·

Kevew

AI & ML interests

None yet

Organizations

None yet

Kevew 's 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