Dan Hawkley

dan9423's activity

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

liked 5 datasets 1 day ago

AI4Math/MathVista

Viewer • Updated Feb 11, 2024 • 6.14k • 15.3k • 224

Tonic/MiniF2F

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

uw-math-ai/theorem-matching

Viewer • Updated Jun 26 • 101k • 50 • 1

mathlib-initiative/mathlib-tactics

Viewer • Updated 4 days ago • 1.96M • 1.92k • 1

nvidia/Nemotron-Math-Proofs-v2

Viewer • Updated Jun 16 • 55.6k • 7.75k • 21

liked 2 models 1 day ago

moonshotai/Kimi-K3

Image-Text-to-Text • 2.8T • Updated 22 days ago • 2.23M • • 10.8k

deepseek-ai/DeepSeek-V4-Flash-0731

Text Generation • 304B • Updated 18 days ago • 2.12M • • 3.52k