Leon Li

leonmodal's activity

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

updated a dataset 12 days ago

leonmodal/arb-theorem-proving-data

Updated 12 days ago • 63

published a dataset 12 days ago

leonmodal/arb-theorem-proving-data

Updated 12 days ago • 63

updated 2 datasets 12 days ago

leonmodal/arb-frontierfinance-data-packet

Updated 12 days ago • 86

leonmodal/arb-finance-web-ff

Updated 12 days ago • 354 • 2

published a dataset 12 days ago

leonmodal/arb-finance-web-ff

Updated 12 days ago • 354 • 2

published a dataset 14 days ago

leonmodal/arb-frontierfinance-data-packet

Updated 12 days ago • 86

liked a dataset 15 days ago

samaya-ai/FrontierFinance

Viewer • Updated Aug 25 • 220 • 766 • 25

updated a dataset 16 days ago

leonmodal/arb-lean-proofs-data-packet

Viewer • Updated 16 days ago • 408k • 70

published a dataset 16 days ago

leonmodal/arb-lean-proofs-data-packet

Viewer • Updated 16 days ago • 408k • 70

published a dataset about 2 months ago

universal-learning-agent/tasks

Updated Aug 26 • 346

updated 2 datasets 3 months ago

universal-learning-agent/tasks

Updated Aug 26 • 346

universal-learning-agent/tasks

Updated Aug 26 • 346