Fabian Henning

fabianhenning's activity

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

liked 2 models 20 days ago

AI-MO/Kimina-Prover-72B

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

AI-MO/Kimina-Autoformalizer-7B

Text Generation • 8B • Updated Apr 16, 2025 • 635 • • 20

liked a model 26 days ago

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated Apr 23 • 182k • • 2.37k

liked 2 datasets about 1 month ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 450 • 60

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 27.5k • 469

liked 2 datasets about 2 months ago

hoskinson-center/proofnet

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

ShadenA/MathNet

Viewer • Updated Jun 16 • 55.6k • 33.7k • 90

liked a model 2 months ago

google/gemma-4-12B-it

Any-to-Any • 12B • Updated 15 days ago • 3.08M • 1.4k

liked 2 datasets 2 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 1.41k • 123

nvidia/Nemotron-SFT-Math-v4

Preview • Updated Jun 4 • 2.84k • 22

liked a dataset 5 months ago

ycchen/Crystal-Math-Preview

Viewer • Updated 8 days ago • 4.15k • 512 • 12