Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
AK123321
/
pl-leancopilot-1
like
0
License:
mit
Model card
Files
Files and versions
xet
Community
main
pl-leancopilot-1
1.74 GB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
AK123321
Rename mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt to model.ckpt
c4c9da9
verified
almost 2 years ago
.gitattributes
Safe
1.52 kB
initial commit
almost 2 years ago
README.md
Safe
24 Bytes
initial commit
almost 2 years ago
model.ckpt
Safe
1.74 GB
xet
Rename mathlib4_29dcec074de168ac2bf835a77ef68bbe069194c5.ckpt to model.ckpt
almost 2 years ago
