Fabian Henning

fabianhenning's activity

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

liked 2 models 29 days ago

AI-MO/Kimina-Prover-72B

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

AI-MO/Kimina-Autoformalizer-7B

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

liked a model about 1 month ago

moonshotai/Kimi-K2-Instruct

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

liked 3 datasets about 2 months ago

AI-MO/NuminaMath-LEAN

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

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 40.8k • 470

hoskinson-center/proofnet

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

liked a dataset 2 months ago

ShadenA/MathNet

Viewer • Updated Jun 16 • 55.6k • 41k • 93

liked a model 2 months ago

google/gemma-4-12B-it

Any-to-Any • 12B • Updated 24 days ago • 3.21M • 1.43k

liked 2 datasets 2 months ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated Jan 5 • 925k • 1.45k • 124

nvidia/Nemotron-SFT-Math-v4

Viewer • Updated 1 day ago • 545k • 3.15k • 33

liked a dataset 6 months ago

ycchen/Crystal-Math-Preview

Viewer • Updated 16 days ago • 4.15k • 564 • 13