Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
imbue2025
/
RWKV-7-Prover-1.5b
like
4
English
rwkv
rwkv-7
lean4
mathematics
formal-verification
state-tuning
theorem-proving
auto-formalization
License:
openrail
Model card
Files
Files and versions
xet
Community
main
RWKV-7-Prover-1.5b
3.06 GB
Ctrl+K
Ctrl+K
1 contributor
History:
8 commits
imbue2025
Update README.md
94a7e08
verified
3 months ago
.gitattributes
Safe
1.57 kB
Upload showcase.png
3 months ago
README.md
2.87 kB
Update README.md
3 months ago
rwkv7-prover-1.5b-20260202-ctx4096.pth
pickle
Detected Pickle imports (3)
"torch.BFloat16Storage"
,
"collections.OrderedDict"
,
"torch._utils._rebuild_tensor_v2"
What is a pickle import?
3.06 GB
xet
Upload rwkv7-prover-1.5b-20260202-ctx4096.pth
3 months ago
showcase.png
347 kB
xet
Upload showcase.png
3 months ago
