Dan Hawkley

dan9423's activity

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

liked 5 datasets about 2 months ago

AI4Math/MathVista

Viewer • Updated Feb 11, 2024 • 6.14k • 27.3k • 226

Tonic/MiniF2F

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

uw-math-ai/theorem-matching

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

mathlib-initiative/mathlib-tactics

Viewer • Updated 15 days ago • 1.99M • 1.79k • 2

nvidia/Nemotron-Math-Proofs-v2

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

liked 2 models about 2 months ago

moonshotai/Kimi-K3

Image-Text-to-Text • 2.8T • Updated Sep 2 • 1.13M • • 11.7k

deepseek-ai/DeepSeek-V4-Flash-0731

Text Generation • 304B • Updated Aug 1 • 4.44M • • 4.02k