Qi Gao's picture

Qi Gao

IkuyoIkuyo

·

AI & ML interests

None yet

Recent Activity

updated a dataset 2 days ago

IkuyoIkuyo/lean_universe_with_proof_extra

published a dataset 2 days ago

IkuyoIkuyo/lean_universe_with_proof_extra

updated a dataset 2 days ago

IkuyoIkuyo/lean_universe_with_proof

View all activity

Organizations

models

None public yet

datasets 4

IkuyoIkuyo/lean_universe_with_proof_extra

Viewer • Updated 2 days ago • 328k • 1

IkuyoIkuyo/lean_universe_with_proof

Viewer • Updated 2 days ago • 314k • 1

IkuyoIkuyo/Herald_with_proof

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

IkuyoIkuyo/RAG_wkbk_with_proof

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