Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
2
HuajianXin
HuajianXin
Follow
ishaqsaviani's profile picture
1 follower
·
1 following
AI & ML interests
None yet
Recent Activity
authored
a paper
5 days ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
authored
a paper
4 months ago
DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
liked
a model
4 months ago
sentence-transformers/all-MiniLM-L6-v2
View all activity
Organizations
None yet
HuajianXin
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
4 months ago
sentence-transformers/all-MiniLM-L6-v2
Sentence Similarity
•
Updated
Mar 6
•
84.7M
•
•
3.37k
liked
a dataset
4 months ago
HuggingFaceTB/finemath
Viewer
•
Updated
Feb 6
•
48.3M
•
18k
•
309
Load more