Qi Gao's picture

Qi Gao

IkuyoIkuyo

·

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

IkuyoIkuyo/Herald_statements

updated a dataset 3 days ago

IkuyoIkuyo/Herald_proofs

published a dataset 3 days ago

IkuyoIkuyo/Herald_proofs

View all activity

Organizations

models

None public yet

datasets 6

IkuyoIkuyo/Herald_statements

Viewer • Updated 1 day ago • 580k

IkuyoIkuyo/Herald_proofs

Viewer • Updated 3 days ago • 44.6k

IkuyoIkuyo/lean_universe_with_proof_extra

Viewer • Updated 7 days ago • 328k • 5

IkuyoIkuyo/lean_universe_with_proof

Viewer • Updated 7 days ago • 314k • 5

IkuyoIkuyo/Herald_with_proof

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

IkuyoIkuyo/RAG_wkbk_with_proof

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