Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
45
133
Peng Wang
stillarrow
Follow
weizhepei's profile picture
yomir's profile picture
21world's profile picture
4 followers
·
36 following
https://peter-peng-w.github.io/
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
1 day ago
Learning to Repair Lean Proofs from Compiler Feedback
upvoted
a
paper
8 days ago
Experiential Reinforcement Learning
liked
a dataset
12 days ago
derek-thomas/ScienceQA
View all activity
Organizations
None yet
models
0
None public yet
datasets
1
stillarrow/MATH
Viewer
•
Updated
Sep 25, 2025
•
26.5k
•
23