Qi Gao's picture

Qi Gao

IkuyoIkuyo

·

AI & ML interests

None yet

Recent Activity

updated a model 9 days ago

FrenzyMath/Herald_translator

updated a Space 11 days ago

FrenzyMath/README

published a Space 11 days ago

FrenzyMath/README

View all activity

Organizations

models

None public yet

datasets 4

IkuyoIkuyo/lean_universe_with_proof_extra

Viewer • Updated 29 days ago • 328k • 13

IkuyoIkuyo/lean_universe_with_proof

Viewer • Updated 29 days ago • 314k • 17

IkuyoIkuyo/Herald_with_proof

Viewer • Updated Dec 29, 2024 • 92.2k • 14

IkuyoIkuyo/RAG_wkbk_with_proof

Viewer • Updated Dec 28, 2024 • 25.2k • 9