Junyan Xu

alreadydone's activity

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

liked a model 27 days ago

datalab-to/chandra

Image-to-Text • 9B • Updated Oct 21 • 93.7k • 384

liked a model about 1 month ago

deepseek-ai/DeepSeek-OCR

Image-Text-to-Text • 3B • Updated 19 days ago • 5.1M • 2.81k

liked 2 models 2 months ago

Alibaba-NLP/Tongyi-DeepResearch-30B-A3B

Text Generation • 31B • Updated Oct 10 • 11.7k • 769

LLM360/K2-Think

Text Generation • 33B • Updated 3 days ago • 9.46k • 359

liked a model 4 months ago

rednote-hilab/dots.ocr

Image-Text-to-Text • 3B • Updated 22 days ago • 990k • 1.13k

liked 2 datasets 4 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 524 • 45

INSAIT-Institute/OPC

Viewer • Updated Jul 15 • 4.93k • 176 • 12

upvoted an article 4 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10

•

53

liked a model 5 months ago

microsoft/Phi-4-mini-flash-reasoning

Text Generation • 4B • Updated 1 day ago • 2.92k • 251

liked 3 datasets 5 months ago

amitayusht/clever

Viewer • Updated May 22 • 161 • 93 • 5

sunblaze-ucb/verina

Viewer • Updated Aug 17 • 189 • 148 • 6

AI4Math/IneqMath

Preview • Updated 21 days ago • 883 • 9

upvoted a collection 7 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 7 months ago

SphereLab/FormalMATH-All

Viewer • Updated May 4 • 5.56k • 834 • 8

upvoted a collection 7 months ago

Absolute Zero Reasoner

Collection

6 items • Updated May 9 • 56

liked 4 datasets 7 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 440 • 6

deepseek-ai/DeepSeek-ProverBench

Viewer • Updated Apr 30 • 325 • 130 • 41

PAug/ProofNetSharp

Viewer • Updated Mar 24 • 371 • 56 • 7

AI-MO/CombiBench

Viewer • Updated Jul 13 • 200 • 150 • 10

liked a model 7 months ago

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

15B • Updated Jul 11 • 298 • 1