Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
5
8
Fabian Henning
fabianhenning
Follow
0 followers
·
3 following
fabianhenning
fabian-henning
AI & ML interests
Mathematical Reasoning
Recent Activity
updated
a collection
2 days ago
Formal Reasoning
liked
a dataset
2 days ago
AI-MO/NuminaMath-LEAN
updated
a collection
4 days ago
Mathematical Reasoning
View all activity
Organizations
None yet
fabianhenning
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
2 days ago
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
Jul 31, 2025
•
104k
•
363
•
59
liked
a dataset
4 days ago
nvidia/OpenMathReasoning
Viewer
•
Updated
May 27, 2025
•
5.68M
•
17.9k
•
467
liked
a dataset
12 days ago
hoskinson-center/proofnet
Viewer
•
Updated
Mar 17, 2023
•
371
•
361
•
23
liked
a dataset
20 days ago
ShadenA/MathNet
Viewer
•
Updated
11 days ago
•
55.6k
•
4.77k
•
88
liked
a model
22 days ago
google/gemma-4-12B-it
Any-to-Any
•
12B
•
Updated
23 days ago
•
2.42M
•
1.2k
liked
2 datasets
22 days ago
nvidia/Nemotron-Math-Proofs-v1
Viewer
•
Updated
Jan 5
•
925k
•
844
•
123
nvidia/Nemotron-SFT-Math-v4
Preview
•
Updated
23 days ago
•
1.52k
•
14
liked
a dataset
4 months ago
ycchen/Crystal-Math-Preview
Viewer
•
Updated
May 1
•
4.15k
•
263
•
11