Fabian Henning

fabianhenning's activity

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

upvoted a collection about 2 months ago

Kimina Prover

Collection

State-of-the-Art Models for Formal Mathematical Reasoning https://huggingface.co/blog/AI-MO/kimina-prover • 8 items • Updated Oct 30, 2025 • 12

updated a collection about 2 months ago

Formal Reasoning

Collection

4 items • Updated Jul 15

liked a model about 2 months ago

AI-MO/Kimina-Prover-72B

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

updated a collection about 2 months ago

Formal Reasoning

Collection

4 items • Updated Jul 15

liked 2 models about 2 months ago

AI-MO/Kimina-Autoformalizer-7B

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

moonshotai/Kimi-K2-Instruct

Text Generation • 1T • Updated Apr 23 • 164k • • 2.38k

updated a collection 2 months ago

Formal Reasoning

Collection

4 items • Updated Jul 15

liked a dataset 2 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 1.12k • 61

updated a collection 2 months ago

Mathematical Reasoning

Collection

9 items • Updated Jun 23

liked a dataset 2 months ago

nvidia/OpenMathReasoning

Viewer • Updated May 27, 2025 • 5.68M • 66.6k • 472

upvoted a paper 2 months ago

rStar2-Agent: Agentic Reasoning Technical Report

Paper • 2508.20722 • Published Aug 28, 2025 • 121

updated a collection 3 months ago

Mathematical Reasoning

Collection

9 items • Updated Jun 23

upvoted a paper 3 months ago

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

Paper • 2605.13301 • Published May 13 • 167

liked a dataset 3 months ago

hoskinson-center/proofnet

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

upvoted a paper 3 months ago

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

Paper • 2504.11354 • Published Apr 15, 2025 • 7

updated a collection 3 months ago

Mathematical Reasoning

Collection

9 items • Updated Jun 23

upvoted a paper 3 months ago

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

Paper • 2601.14027 • Published Jan 20 • 15

updated a collection 3 months ago

Mathematical Reasoning

Collection

9 items • Updated Jun 23

upvoted a collection 3 months 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 • 82

updated a collection 3 months ago

Mathematical Reasoning

Collection

9 items • Updated Jun 23