Junyan Xu

alreadydone's activity

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

liked a dataset 6 days ago

AI-MO/minif2f_test

Viewer • Updated about 19 hours ago • 244 • 575 • 3

liked a dataset 7 days ago

deepseek-ai/DeepSeek-ProverBench

Viewer • Updated 7 days ago • 325 • 1.68k • 24

liked a dataset 8 days ago

PAug/ProofNetSharp

Viewer • Updated Mar 24 • 371 • 103 • 1

liked a dataset 9 days ago

AI-MO/CombiBench

Viewer • Updated about 19 hours ago • 200 • 220 • 5

liked a model 11 days ago

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

Updated 13 days ago • 1.59k • 1

liked a dataset 11 days ago

nvidia/OpenMathReasoning

Viewer • Updated 14 days ago • 5.47M • 28.9k • 178

upvoted a collection 11 days 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 2 days ago • 35

upvoted 3 collections 23 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 • 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 9 days ago • 29

liked a model 2 months ago

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7 • 4

liked a dataset 3 months ago

facebook/natural_reasoning

Viewer • Updated Feb 21 • 1.15M • 3.3k • 498

liked a model 3 months ago

Goedel-LM/Goedel-Prover-SFT

Updated 19 days ago • 27.7k • 28

upvoted a paper 4 months ago

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

Paper • 2501.04519 • Published Jan 8 • 276

liked a dataset 4 months ago

AlexCuadron/SWE-Bench-Verified-O1-reasoning-high-results

Viewer • Updated Dec 29, 2024 • 495 • 7.28k • 4

liked a dataset 5 months ago

HuggingFaceTB/finemath

Viewer • Updated Feb 6 • 48.3M • 16.8k • 308

liked 3 models 5 months ago

MBMMurad/QwQ-32B-preview-AWQ-AIMO-earlysharing

Text Generation • Updated Dec 11, 2024 • 4 • 3

Qwen/QwQ-32B-Preview

Text Generation • Updated Jan 12 • 81.5k • • 1.73k

KirillR/QwQ-32B-Preview-AWQ

Text Generation • Updated Nov 27, 2024 • 510 • 24

liked a Space 5 months ago

Running

660

660

PR Puppet Sora

👁

Generate videos from text prompts