Qi Gao

IkuyoIkuyo's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 15 days ago

FrenzyMath/Herald_translator

Text Generation • Updated 15 days ago • 273

updated a Space 17 days ago

Running

README

🦀

published a Space 17 days ago

Running

README

🦀

updated a dataset 19 days ago

FrenzyMath/Herald_proofs

Viewer • Updated 19 days ago • 44.6k • 184

updated a dataset 28 days ago

FrenzyMath/Herald_statements

Viewer • Updated 28 days ago • 580k • 99

published 2 datasets about 1 month ago

FrenzyMath/Herald_proofs

Viewer • Updated 19 days ago • 44.6k • 184

FrenzyMath/Herald_statements

Viewer • Updated 28 days ago • 580k • 99

updated a dataset about 1 month ago

IkuyoIkuyo/lean_universe_with_proof_extra

Viewer • Updated Feb 9 • 328k • 8

published a dataset about 1 month ago

IkuyoIkuyo/lean_universe_with_proof_extra

Viewer • Updated Feb 9 • 328k • 8

updated a dataset about 1 month ago

IkuyoIkuyo/lean_universe_with_proof

Viewer • Updated Feb 9 • 314k • 12

published a dataset about 1 month ago

IkuyoIkuyo/lean_universe_with_proof

Viewer • Updated Feb 9 • 314k • 12

updated 2 datasets 3 months ago

IkuyoIkuyo/Herald_with_proof

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

IkuyoIkuyo/RAG_wkbk_with_proof

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