Junyan Xu

alreadydone's activity

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

liked a model 7 days ago

rednote-hilab/dots.ocr

Image-Text-to-Text • 3B • Updated 2 days ago • 22.3k • 682

liked a dataset 14 days ago

AI-MO/NuminaMath-LEAN

Viewer • Updated 14 days ago • 104k • 1.03k • 37

liked a dataset 26 days ago

INSAIT-Institute/OPC

Viewer • Updated 30 days ago • 4.93k • 489 • 11

liked a model about 1 month ago

microsoft/Phi-4-mini-flash-reasoning

Text Generation • 4B • Updated 1 day ago • 19.7k • 216

liked 2 datasets about 2 months ago

amitayusht/clever

Viewer • Updated May 22 • 161 • 36 • 5

sunblaze-ucb/verina

Viewer • Updated May 27 • 189 • 104 • 6

liked a dataset 2 months ago

AI4Math/IneqMath

Viewer • Updated 5 days ago • 6.73k • 1.1k • 7

liked 2 datasets 3 months ago

SphereLab/FormalMATH-All

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

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 802 • 6

liked 3 datasets 4 months ago

deepseek-ai/DeepSeek-ProverBench

Viewer • Updated Apr 30 • 325 • 184 • 38

PAug/ProofNetSharp

Viewer • Updated Mar 24 • 371 • 174 • 6

AI-MO/CombiBench

Viewer • Updated Jul 13 • 200 • 234 • 9

liked a model 4 months ago

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

15B • Updated Jul 11 • 159 • 1

liked a dataset 4 months ago

nvidia/OpenMathReasoning

Viewer • Updated May 27 • 5.68M • 12.9k • 323

liked a model 5 months ago

ruc-ai4math/Lean_State_Search_Random

Sentence Similarity • Updated Mar 7 • 4

liked a dataset 6 months ago

facebook/natural_reasoning

Viewer • Updated Feb 21 • 1.15M • 1.7k • 516

liked a model 6 months ago

Goedel-LM/Goedel-Prover-SFT

7B • Updated Apr 18 • 4.65k • 29

liked a dataset 7 months ago

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

Viewer • Updated Dec 29, 2024 • 495 • 2.1k • 6

liked a dataset 8 months ago

HuggingFaceTB/finemath

Viewer • Updated Feb 6 • 48.3M • 5.69k • 330

liked a model 8 months ago

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

Text Generation • 6B • Updated Dec 11, 2024 • 3 • 3