Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
7
7
Ziyin Zhang
Geralt-Targaryen
Follow
zhaokunjzk's profile picture
zzland's profile picture
SeiunSky0131's profile picture
3 followers
·
3 following
Geralt-Targaryen
AI & ML interests
None yet
Recent Activity
upvoted
a
collection
3 days ago
DeepTheorem
liked
a dataset
6 days ago
Jiahao004/DeepTheorem
authored
a paper
6 days ago
DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
View all activity
Organizations
Geralt-Targaryen
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
6 days ago
Jiahao004/DeepTheorem
Viewer
•
Updated
2 days ago
•
121k
•
1.45k
•
18
liked
a model
13 days ago
KEVVVV/xlm-swcm
Updated
13 days ago
•
1
liked
2 datasets
about 2 months ago
codefuse-ai/GALLa
Viewer
•
Updated
Feb 27
•
627k
•
79
•
1
zwhe99/DeepMath-103K
Viewer
•
Updated
11 days ago
•
103k
•
7.75k
•
193
liked
a dataset
2 months ago
sedthh/gutenberg_english
Viewer
•
Updated
Mar 17, 2023
•
48.3k
•
685
•
23
liked
a dataset
3 months ago
SciPhi/textbooks-are-all-you-need-lite
Viewer
•
Updated
Sep 30, 2023
•
682k
•
212
•
180
liked
a model
6 months ago
Geralt-Targaryen/QwQ-1.5B-Persona
Updated
Dec 18, 2024
•
5
•
2