Junyan Xu

alreadydone's activity

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

liked a dataset 20 days ago

menik1126/PhyX-AF

Viewer • Updated Feb 21 • 256 • 45 • 5

upvoted a paper 23 days ago

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs

Paper • 2605.09063 • Published 28 days ago • 80

liked a model about 1 month ago

deepseek-ai/DeepSeek-V4-Pro

Text Generation • 862B • Updated about 1 month ago • 5.56M • • 4.65k

liked 2 datasets 2 months ago

LiveMathematicianBench/LiveMathematicianBench

Viewer • Updated Apr 4 • 177 • 226 • 5

SJCaldwell/proofjudge

Viewer • Updated Mar 29 • 200 • 38 • 1

liked a dataset 3 months ago

uw-math-ai/APRIL

Preview • Updated Feb 27 • 295 • 10

liked a Space 3 months ago

Running

15

Theorem Search

📚

15

Find math theorems faster.

liked a dataset 3 months ago

davisrbr/openconjecture

Viewer • Updated 5 days ago • 22.5k • 226 • 9

liked 2 datasets 4 months ago

perplexity-ai/draco

Viewer • Updated Feb 20 • 100 • 310 • 93

ulamai/UnsolvedMath

Preview • Updated 23 days ago • 191 • 23

liked 3 models 6 months ago

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

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

deepseek-ai/DeepSeek-V3.2-Speciale

Text Generation • 685B • Updated Dec 1, 2025 • 12.7k • • 708

deepseek-ai/DeepSeek-Math-V2

Text Generation • 685B • Updated Nov 27, 2025 • 524 • 697

liked a model 7 months ago

datalab-to/chandra

Image-Text-to-Text • 9B • Updated Mar 26 • 236k • 524

liked a model 8 months ago

deepseek-ai/DeepSeek-OCR

Image-Text-to-Text • 3B • Updated Nov 4, 2025 • 2.91M • 3.27k

liked 2 models 9 months ago

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

Text Generation • 31B • Updated Oct 10, 2025 • 32.8k • 814

LLM360/K2-Think

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

liked a model 10 months ago

rednote-hilab/dots.ocr

Image-Text-to-Text • 3B • Updated Oct 31, 2025 • 234k • 1.31k

liked a dataset 10 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 462 • 57

liked a dataset 11 months ago

INSAIT-Institute/OPC

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