Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
AI4M
's Collections
open_autoformalization_hf_datasets
open_formal_datasets
open_formal_datasets
updated
May 17
Upvote
-
tasksource/leandojo
Viewer
•
Updated
Jun 28, 2023
•
91.8k
•
84
•
5
l3lab/ntp-mathlib-instruct-context
Viewer
•
Updated
Jun 5
•
614k
•
54
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Jun 5
•
307k
•
14
l3lab/ntp-mathlib
Viewer
•
Updated
Jun 5
•
213k
•
13
•
2
Upvote
-
Share collection
View history
Collection guide
Browse collections