Leon Li

leonmodal's activity

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

updated a dataset 7 days ago

leonmodal/arb-theorem-proving-data

Updated 7 days ago • 38

published a dataset 7 days ago

leonmodal/arb-theorem-proving-data

Updated 7 days ago • 38

updated a dataset 7 days ago

leonmodal/arb-frontierfinance-data-packet

Updated 7 days ago • 74

updated a dataset 8 days ago

leonmodal/arb-finance-web-ff

Updated 8 days ago • 213 • 2

published a dataset 8 days ago

leonmodal/arb-finance-web-ff

Updated 8 days ago • 213 • 2

published a dataset 10 days ago

leonmodal/arb-frontierfinance-data-packet

Updated 7 days ago • 74

liked a dataset 11 days ago

samaya-ai/FrontierFinance

Viewer • Updated Aug 25 • 220 • 644 • 25

updated a dataset 11 days ago

leonmodal/arb-lean-proofs-data-packet

Viewer • Updated 11 days ago • 408k • 67

published a dataset 11 days ago

leonmodal/arb-lean-proofs-data-packet

Viewer • Updated 11 days ago • 408k • 67

published a dataset about 2 months ago

universal-learning-agent/tasks

Updated Aug 26 • 414

updated 2 datasets 3 months ago

universal-learning-agent/tasks

Updated Aug 26 • 414

universal-learning-agent/tasks

Updated Aug 26 • 414