Junyan Xu

alreadydone's activity

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

liked a model 26 days ago

HriDal/agent-2048-game-qwen-7b-2k-ds

Reinforcement Learning • 8B • Updated Apr 1 • 8 • 1

liked a model 28 days ago

deepseek-ai/DeepSeek-V3.2-Speciale

Text Generation • 685B • Updated 28 days ago • 22.7k • 626

liked a model about 1 month ago

deepseek-ai/DeepSeek-Math-V2

Text Generation • 685B • Updated Nov 27 • 8.72k • 672

liked 2 models 2 months ago

datalab-to/chandra

Image-to-Text • 9B • Updated Oct 21 • 119k • 439

deepseek-ai/DeepSeek-OCR

Image-Text-to-Text • 3B • Updated Nov 4 • 4.02M • 3.01k

liked a model 3 months ago

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

Text Generation • 31B • Updated Oct 10 • 11.1k • 785

liked a model 4 months ago

LLM360/K2-Think

Text Generation • 33B • Updated Nov 19 • 762 • 364

liked a model 5 months ago

rednote-hilab/dots.ocr

Image-Text-to-Text • 3B • Updated Oct 31 • 866k • 1.17k

liked 2 datasets 5 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 663 • 51

INSAIT-Institute/OPC

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

upvoted an article 6 months ago

view article

Article

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

• 

Jul 10

•

53

liked a model 6 months ago

microsoft/Phi-4-mini-flash-reasoning

Text Generation • 4B • Updated 19 days ago • 1.48k • 257

liked 2 datasets 6 months ago

amitayusht/clever

Viewer • Updated May 22 • 161 • 105 • 5

sunblaze-ucb/verina

Viewer • Updated Aug 17 • 189 • 258 • 6

liked a dataset 7 months ago

AI4Math/IneqMath

Preview • Updated 15 days ago • 1.9k • 11

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

SphereLab/FormalMATH-All

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

upvoted a collection 8 months ago

Absolute Zero Reasoner

Collection

6 items • Updated May 9 • 56

liked 2 datasets 8 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 837 • 7

deepseek-ai/DeepSeek-ProverBench

Viewer • Updated Apr 30 • 325 • 142 • 41