Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Junyan Xu
alreadydone
1
16
161
Follow
0 followers
·
20 following
alreadydone
AI & ML interests
None yet
Organizations
None yet
alreadydone
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
2 months ago
menik1126/PhyX-AF
Viewer
•
Updated
Feb 21
•
256
•
25
•
5
liked
a model
3 months ago
deepseek-ai/DeepSeek-V4-Pro
Text Generation
•
862B
•
Updated
29 days ago
•
1.49M
•
•
5.28k
liked
3 datasets
4 months ago
LiveMathematicianBench/LiveMathematicianBench
Viewer
•
Updated
Jun 16
•
177
•
818
•
5
SJCaldwell/proofjudge
Viewer
•
Updated
Mar 29
•
200
•
35
•
1
uw-math-ai/APRIL
Preview
•
Updated
Feb 27
•
167
•
10
liked
a Space
4 months ago
Running
15
Theorem Search
📚
15
Find math theorems faster.
liked
a dataset
4 months ago
davisrbr/openconjecture
Viewer
•
Updated
9 days ago
•
31.2k
•
232
•
9
liked
2 datasets
6 months ago
perplexity-ai/draco
Viewer
•
Updated
Feb 20
•
100
•
2.04k
•
111
ulamai/UnsolvedMath
Preview
•
Updated
May 13
•
90
•
23
liked
3 models
8 months ago
HriDal/agent-2048-game-qwen-7b-2k-ds
Reinforcement Learning
•
8B
•
Updated
Apr 1, 2025
•
3
•
1
deepseek-ai/DeepSeek-V3.2-Speciale
Text Generation
•
685B
•
Updated
Dec 1, 2025
•
1.01k
•
•
716
deepseek-ai/DeepSeek-Math-V2
Text Generation
•
685B
•
Updated
Nov 27, 2025
•
331
•
704
liked
2 models
9 months ago
datalab-to/chandra
Image-Text-to-Text
•
9B
•
Updated
Mar 26
•
128k
•
528
deepseek-ai/DeepSeek-OCR
Image-Text-to-Text
•
3B
•
Updated
Nov 4, 2025
•
2.51M
•
3.31k
liked
2 models
10 months ago
Alibaba-NLP/Tongyi-DeepResearch-30B-A3B
Text Generation
•
31B
•
Updated
Oct 10, 2025
•
7.18k
•
813
LLM360/K2-Think
Text Generation
•
33B
•
Updated
Nov 19, 2025
•
127
•
•
367
liked
a model
12 months ago
dots-studio/dots.ocr
Image-Text-to-Text
•
3B
•
Updated
Oct 31, 2025
•
419k
•
1.32k
liked
a dataset
12 months ago
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
Jul 31, 2025
•
104k
•
314
•
59
liked
a dataset
about 1 year ago
INSAIT-Institute/OPC
Viewer
•
Updated
Jul 15, 2025
•
4.93k
•
149
•
14
liked
a model
about 1 year ago
microsoft/Phi-4-mini-flash-reasoning
Text Generation
•
4B
•
Updated
Dec 10, 2025
•
738
•
281
Load more