Qi Gao

IkuyoIkuyo's activity

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

updated a model 16 days ago

FrenzyMath/Herald_translator

Text Generation • Updated 16 days ago • 275

updated a Space 18 days ago

Running

README

🦀

published a Space 18 days ago

Running

README

🦀

updated a dataset 20 days ago

FrenzyMath/Herald_proofs

Viewer • Updated 20 days ago • 44.6k • 185

updated a dataset 29 days ago

FrenzyMath/Herald_statements

Viewer • Updated 29 days ago • 580k • 103

published 2 datasets about 1 month ago

FrenzyMath/Herald_proofs

Viewer • Updated 20 days ago • 44.6k • 185

FrenzyMath/Herald_statements

Viewer • Updated 29 days ago • 580k • 103

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