Fabian Henning

fabianhenning's activity

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

updated a collection 1 day ago

Formal Reasoning

Collection

2 items • Updated 1 day ago

liked a dataset 1 day ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 360 • 59

updated a collection 3 days ago

Mathematical Reasoning

Collection

9 items • Updated 3 days ago

liked a dataset 3 days ago

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 17.6k • 467

upvoted a paper 9 days ago

rStar2-Agent: Agentic Reasoning Technical Report

Paper • 2508.20722 • Published Aug 28, 2025 • 120

updated a collection 11 days ago

Mathematical Reasoning

Collection

9 items • Updated 3 days ago

upvoted a paper 11 days ago

Achieving Gold-Medal-Level Olympiad Reasoning via Simple and Unified Scaling

Paper • 2605.13301 • Published May 13 • 165

liked a dataset 11 days ago

hoskinson-center/proofnet

Viewer • Updated Mar 17, 2023 • 371 • 366 • 23

upvoted a paper 13 days ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Paper • 2504.11354 • Published Apr 15, 2025 • 7

updated a collection 13 days ago

Mathematical Reasoning

Collection

9 items • Updated 3 days ago

upvoted a paper 13 days ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Paper • 2601.14027 • Published Jan 20 • 15

updated a collection 13 days ago

Mathematical Reasoning

Collection

9 items • Updated 3 days ago

upvoted a collection 13 days ago

NuminaMath

Collection

Datasets and models for training SOTA math LLMs. See our GitHub for training & inference code: https://github.com/project-numina/aimo-progress-prize • 7 items • Updated Feb 10, 2025 • 83

updated a collection 19 days ago

Mathematical Reasoning

Collection

9 items • Updated 3 days ago

liked a dataset 19 days ago

ShadenA/MathNet

Viewer • Updated 11 days ago • 55.6k • 4.83k • 88

updated a collection 22 days ago

Mathematical Reasoning

Collection

9 items • Updated 3 days ago

liked a model 22 days ago

google/gemma-4-12B-it

Any-to-Any • 12B • Updated 22 days ago • 2.31M • 1.19k

updated a collection 22 days ago

Mathematical Reasoning

Collection

9 items • Updated 3 days ago

liked a dataset 22 days ago

nvidia/Nemotron-Math-Proofs-v1

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