Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
pkuAI4M
's Collections
Informal
Lean related
Informal-Formal
Math text
Lean related
updated
Sep 2
Upvote
-
l3lab/ntp-mathlib-instruct-st
Viewer
•
Updated
Sep 6
•
307k
casey-martin/multilingual-mathematical-autoformalization
Viewer
•
Updated
Dec 2, 2023
•
666k
•
1
elohn/miniCodeProps
Updated
Aug 19
•
2
allanjie/mma
Viewer
•
Updated
Aug 9
•
333k
deepseek-ai/DeepSeek-Prover-V1
Viewer
•
Updated
Sep 12
•
27.5k
•
20
•
8
Upvote
-
Share collection
View history
Collection guide
Browse collections