Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
JasinJiang
's Collections
Auto-Formalization
Auto-Formalization
updated
Dec 2, 2024
Upvote
-
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer
•
Updated
Jul 12, 2024
•
107k
•
7
•
12
RickyDeSkywalker/TheoremLlama
Text Generation
•
8B
•
Updated
Aug 4, 2025
•
7
ibm-research/ColD-Fusion
Text Classification
•
Updated
Dec 21, 2022
•
173
•
12
internlm/Lean-Workbook
Viewer
•
Updated
Oct 9, 2024
•
25.2k
•
859
•
50
Upvote
-
Share collection
View history
Collection guide
Browse collections
