Fabian Henning

fabianhenning's activity

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

liked 3 models 3 months ago

AI-MO/Kimina-Prover-72B

Text Generation • 73B • Updated Jul 10, 2025 • 64 • 35

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 404 • • 21

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated Apr 23 • 313k • • 2.99k

liked 2 datasets 3 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 1.97k • 63

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 59.1k • 476

liked 2 datasets 4 months ago

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 371 • 713 • 24

ShadenA/MathNet

Viewer • Updated Jun 16 • 55.6k • 108k • 96

liked a model 4 months ago

google/gemma-4-12B-it

Any-to-Any • 12B • Updated Jul 20 • 1.89M • 1.63k

liked 2 datasets 4 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 881 • 126

nvidia/Nemotron-SFT-Math-v4

Viewer • Updated Aug 12 • 545k • 3.88k • 46

liked a dataset 7 months ago

ycchen/Crystal-Math-Preview

Viewer • Updated Jul 28 • 4.15k • 330 • 14