Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
4
7
Wang
Rex2wzh
Follow
hanwenzhu's profile picture
1 follower
·
2 following
RexWzh
AI & ML interests
nlp
Recent Activity
upvoted
a
paper
4 days ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
liked
a Space
2 months ago
PaddlePaddle/PaddleOCR-VL_Online_Demo
upvoted
a
paper
5 months ago
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
View all activity
Organizations
None yet
Rex2wzh
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a Space
2 months ago
Running
Featured
208
PaddleOCR-VL Online Demo
📈
208
Parse and recognize text in images
liked
2 models
about 1 year ago
Qwen/QwQ-32B-Preview
Text Generation
•
33B
•
Updated
Jan 12
•
48.4k
•
•
1.74k
KirillR/QwQ-32B-Preview-AWQ
Text Generation
•
33B
•
Updated
Nov 27, 2024
•
1.54k
•
25
liked
2 datasets
over 1 year ago
AI-MO/aimo-validation-aime
Viewer
•
Updated
May 7
•
90
•
6.15k
•
64
AI-MO/NuminaMath-CoT
Viewer
•
Updated
Nov 25, 2024
•
860k
•
11.9k
•
515
liked
2 models
over 2 years ago
meta-llama/Llama-2-7b
Text Generation
•
Updated
Apr 17, 2024
•
429
•
4.44k
wellecks/llmstep-mathlib4-pythia2.8b
Text Generation
•
Updated
Aug 9, 2023
•
29
•
6