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, 2025 • 253 • 10

Kevew/minif2f-kiminaprover8b-inferenced

Viewer • Updated Jul 27, 2025 • 485 • 6

Kevew/mathlib4_summary_tactic_states

Viewer • Updated Jul 24, 2025 • 16.8k • 87

Kevew/mathlib4_tactic_states

Viewer • Updated Jul 17, 2025 • 16.8k • 7