Hugging Face
Models
Datasets
Spaces
Posts
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
•
38
•
9
RickyDeSkywalker/TheoremLlama
Text Generation
•
Updated
Sep 24, 2024
•
19
•
7
ibm-research/ColD-Fusion
Text Classification
•
Updated
Dec 21, 2022
•
129
•
12
internlm/Lean-Workbook
Viewer
•
Updated
Oct 9, 2024
•
25.2k
•
659
•
34
Upvote
-
Share collection
View history
Collection guide
Browse collections
