Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
2
Hongzhou Lin
redpig-at-imo
Follow
21world's profile picture
1 follower
·
2 following
http://www.hongzhoulin.com/
AI & ML interests
Reasoning LLM, LEAN
Recent Activity
liked
a model
23 days ago
foreverlasting1202/QuestA-Nemotron-1.5B
authored
a paper
23 days ago
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
authored
a paper
23 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
View all activity
Organizations
redpig-at-imo
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
23 days ago
foreverlasting1202/QuestA-Nemotron-1.5B
Text Generation
•
Updated
30 days ago
•
461
•
16
liked
a dataset
6 months ago
Skywork/Skywork-OR1-RL-Data
Viewer
•
Updated
May 29
•
119k
•
3.47k
•
55