Junyan Xu

alreadydone's activity

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

liked a dataset 6 days ago

amitayusht/clever

Viewer • Updated May 22 • 161 • 133 • 5

liked a dataset 10 days ago

sunblaze-ucb/verina

Viewer • Updated May 27 • 189 • 174 • 5

liked a dataset 22 days ago

AI4Math/IneqMath

Viewer • Updated 20 days ago • 1.55k • 1.2k • 6

upvoted a collection about 2 months ago

Formal Problem-Solving

Collection

This collection is part of the official implementation of Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. • 5 items • Updated May 8 • 3

liked a dataset about 2 months ago

SphereLab/FormalMATH-All

Viewer • Updated May 4 • 5.56k • 237 • 7

upvoted a collection about 2 months ago

Absolute Zero Reasoner

Collection

6 items • Updated May 9 • 54

liked 4 datasets 2 months ago

AI-MO/minif2f_test

Viewer • Updated 6 days ago • 244 • 557 • 5

deepseek-ai/DeepSeek-ProverBench

Viewer • Updated Apr 30 • 325 • 529 • 34

PAug/ProofNetSharp

Viewer • Updated Mar 24 • 371 • 66 • 3

AI-MO/CombiBench

Viewer • Updated May 7 • 200 • 185 • 8

liked a model 2 months ago

mradermacher/OpenMath-Nemotron-14B-Kaggle-i1-GGUF

15B • Updated Apr 24 • 268 • 1

liked a dataset 2 months ago

nvidia/OpenMathReasoning

Viewer • Updated May 27 • 5.68M • 15.4k • 296

upvoted a collection 2 months ago

OpenMathReasoning

Collection

Models and datasets from "AIMO-2 Winning Solution: Building State-of-the-Art Mathematical Reasoning Models with OpenMathReasoning dataset" • 7 items • Updated 1 day ago • 41

upvoted 3 collections 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 • 78

AIMO Progress Prize

Collection

Models and datasets used in the winning solution to the AIMO 1st Progress Prize • 7 items • Updated Jul 19, 2024 • 13

Kimina Prover Preview

Collection

State-of-the-Art Models for Formal Mathematical Reasoning • 5 items • Updated Apr 28 • 31

liked a model 4 months ago

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7 • 4

liked a dataset 4 months ago

facebook/natural_reasoning

Viewer • Updated Feb 21 • 1.15M • 1.3k • 508

liked a model 5 months ago

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 3.88k • 29

upvoted a paper 6 months ago

rStar-Math: Small LLMs Can Master Math Reasoning with Self-Evolved Deep Thinking

Paper • 2501.04519 • Published Jan 8 • 280