Junyan Xu

alreadydone's activity

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

liked a dataset 4 months ago

menik1126/PhyX-AF

Viewer • Updated Feb 21 • 256 • 28 • 5

liked a model 5 months ago

deepseek-ai/DeepSeek-V4-Pro

Text Generation • 1.6T • Updated Jun 22 • 479k • • 5.6k

liked 3 datasets 6 months ago

LiveMathematicianBench/LiveMathematicianBench

Viewer • Updated Aug 5 • 608 • 978 • 6

SJCaldwell/proofjudge

Viewer • Updated Aug 16 • 318 • 78 • 1

uw-math-ai/APRIL

Preview • Updated Feb 27 • 267 • 10

liked a Space 6 months ago

Sleeping

16

Theorem Search

📚

16

Find math theorems faster.

liked a dataset 6 months ago

OpenConjecture/openconjecture

Viewer • Updated about 20 hours ago • 31.2k • 152 • 11

liked 2 datasets 8 months ago

perplexity-ai/draco

Viewer • Updated Feb 20 • 100 • 2.66k • 114

ulamai/UnsolvedMath

Viewer • Updated 10 days ago • 15.5k • 6.87k • 80

liked 3 models 10 months ago

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

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

deepseek-ai/DeepSeek-V3.2-Speciale

Text Generation • 685B • Updated Dec 1, 2025 • 4.38k • 726

deepseek-ai/DeepSeek-Math-V2

Text Generation • 685B • Updated Nov 27, 2025 • 736 • 708

liked 2 models 11 months ago

datalab-to/chandra

Image-Text-to-Text • 9B • Updated Mar 26 • 168k • 532

deepseek-ai/DeepSeek-OCR

Image-Text-to-Text • 3B • Updated Nov 4, 2025 • 2.23M • • 3.39k

liked 3 models about 1 year ago

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

Text Generation • 31B • Updated Oct 10, 2025 • 18.8k • 823

IFM/K2-Think

Text Generation • 33B • Updated Nov 19, 2025 • 222 • • 369

dots-studio/dots.ocr

Image-Text-to-Text • 3B • Updated Oct 31, 2025 • 1.01M • 1.33k

liked 2 datasets about 1 year ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 2.56k • 62

INSAIT-Institute/OPC

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

liked a model about 1 year ago

microsoft/Phi-4-mini-flash-reasoning

Text Generation • 4B • Updated Dec 10, 2025 • 1.32k • 285