Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
JilinHu
JilinHu
Follow
webbrain-one-727587's profile picture
02hengxing's profile picture
2 followers
·
2 following
JilinHu
AI & ML interests
None yet
Organizations
None yet
JilinHu
's datasets
4
Sort: Recently updated
JilinHu/Isabelle-proof-synthesis
Updated
Sep 6, 2025
•
7
JilinHu/Isabelle-spec-synthesis
Preview
•
Updated
Jun 16, 2025
•
9
JilinHu/proof-synthesis-pretraining
Viewer
•
Updated
Apr 9, 2025
•
29.6k
•
9
JilinHu/extracted-proof-pile-2
Viewer
•
Updated
Mar 28, 2025
•
79.6k
•
18
