Junyan Xu

alreadydone's activity

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

liked a dataset about 24 hours ago

LiveMathematicianBench/LiveMathematicianBench

Viewer • Updated 2 days ago • 177 • 18 • 2

liked a dataset 2 days ago

SJCaldwell/proofjudge

Viewer • Updated 8 days ago • 200 • 64 • 1

liked a dataset 15 days ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 296 • 9

liked a Space 15 days ago

Running on CPU Upgrade

13

Theorem Search

📚

13

Find math theorems faster.

liked a dataset 19 days ago

davisrbr/openconjecture

Preview • Updated 1 day ago • 373 • 8

liked 2 datasets 2 months ago

perplexity-ai/draco

Viewer • Updated Feb 20 • 100 • 441 • 87

ulamai/UnsolvedMath

Updated Feb 4 • 59 • 23

liked 3 models 4 months ago

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

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

deepseek-ai/DeepSeek-V3.2-Speciale

Text Generation • Updated Dec 1, 2025 • 18k • 691

deepseek-ai/DeepSeek-Math-V2

Text Generation • Updated Nov 27, 2025 • 2.81k • 687

liked a model 5 months ago

datalab-to/chandra

Image-Text-to-Text • 9B • Updated 11 days ago • 169k • 512

liked a model 6 months ago

deepseek-ai/DeepSeek-OCR

Image-Text-to-Text • 3B • Updated Nov 4, 2025 • 2.26M • 3.2k

liked 2 models 7 months ago

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

Text Generation • 31B • Updated Oct 10, 2025 • 14.6k • 808

LLM360/K2-Think

Text Generation • 33B • Updated Nov 19, 2025 • 107 • 365

liked a model 8 months ago

rednote-hilab/dots.ocr

Image-Text-to-Text • 3B • Updated Oct 31, 2025 • 229k • 1.29k

liked a dataset 8 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 1.19k • 56

liked a dataset 9 months ago

INSAIT-Institute/OPC

Viewer • Updated Jul 15, 2025 • 4.93k • 142 • 14

upvoted an article 9 months ago

view article

Article

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

• 

Jul 10, 2025

•

54

liked a model 9 months ago

microsoft/Phi-4-mini-flash-reasoning

Text Generation • Updated Dec 10, 2025 • 893 • 274

liked a dataset 9 months ago

amitayusht/clever

Viewer • Updated May 22, 2025 • 161 • 49 • 5