Dan Hawkley

dan9423's activity

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

liked 5 datasets 2 months ago

AI4Math/MathVista

Viewer • Updated Feb 11, 2024 • 6.14k • 25k • 233

Tonic/MiniF2F

Viewer • Updated Feb 5, 2025 • 488 • 127 • 8

uw-math-ai/theorem-matching

Viewer • Updated Jun 26 • 101k • 249 • 3

mathlib-initiative/mathlib-tactics

Viewer • Updated 7 days ago • 2M • 1.92k • 2

nvidia/Nemotron-Math-Proofs-v2

Viewer • Updated Jun 16 • 55.6k • 875 • 22

liked 2 models 2 months ago

moonshotai/Kimi-K3

Image-Text-to-Text • 2.8T • Updated Sep 2 • 989k • • 11.8k

deepseek-ai/DeepSeek-V4-Flash-0731

Text Generation • 304B • Updated Aug 1 • 4.24M • • 4.08k