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
ChristianZ97
/
SATP-aesop-policy
like
0
Reinforcement Learning
theorem-proving
lean4
aesop
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
SATP-aesop-policy
25.9 GB
Ctrl+K
Ctrl+K
1 contributor
History:
75 commits
ChristianZ97
Upload premise cache: mathlib4_premises.txt
d3c7d41
verified
about 2 months ago
premises
Upload premise cache: mathlib4_premises.txt
about 2 months ago
.gitattributes
1.59 kB
Upload premise cache: mathlib4_premises.txt
about 2 months ago
README.md
Safe
2.08 kB
Add model card
about 2 months ago
best_checkpoint.pt
pickle
Detected Pickle imports (8)
"numpy.dtype"
,
"numpy.ndarray"
,
"collections.OrderedDict"
,
"torch.FloatStorage"
,
"torch.ByteStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"_codecs.encode"
,
"numpy._core.multiarray._reconstruct"
How to fix it?
1.14 GB
xet
restore best_checkpoint to Gen0 (val_acc=31.97%)
2 months ago
best_gen0.pt
pickle
Detected Pickle imports (8)
"numpy.dtype"
,
"numpy.ndarray"
,
"collections.OrderedDict"
,
"torch.FloatStorage"
,
"torch.ByteStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"_codecs.encode"
,
"numpy._core.multiarray._reconstruct"
How to fix it?
1.14 GB
xet
Gen 0 archive
3 months ago
best_gen1.pt
pickle
Detected Pickle imports (8)
"numpy.ndarray"
,
"numpy.dtype"
,
"torch.ByteStorage"
,
"torch.FloatStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"numpy._core.multiarray._reconstruct"
,
"_codecs.encode"
How to fix it?
1.14 GB
xet
Gen 1 archive (val_acc=0.307377)
3 months ago
best_gen10.pt
pickle
Detected Pickle imports (8)
"_codecs.encode"
,
"torch.ByteStorage"
,
"numpy.dtype"
,
"collections.OrderedDict"
,
"torch.FloatStorage"
,
"numpy._core.multiarray._reconstruct"
,
"numpy.ndarray"
,
"torch._utils._rebuild_tensor_v2"
How to fix it?
1.14 GB
xet
Gen 10 archive (val_acc=0.274590)
2 months ago
best_gen11.pt
pickle
Detected Pickle imports (8)
"_codecs.encode"
,
"numpy.ndarray"
,
"torch.ByteStorage"
,
"torch.FloatStorage"
,
"numpy.dtype"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"numpy._core.multiarray._reconstruct"
How to fix it?
1.14 GB
xet
Gen 11 archive (val_acc=0.278689)
2 months ago
best_gen12.pt
pickle
Detected Pickle imports (8)
"torch.FloatStorage"
,
"numpy._core.multiarray._reconstruct"
,
"torch._utils._rebuild_tensor_v2"
,
"numpy.dtype"
,
"collections.OrderedDict"
,
"torch.ByteStorage"
,
"numpy.ndarray"
,
"_codecs.encode"
How to fix it?
1.14 GB
xet
Gen 12 archive (val_acc=0.282787)
about 2 months ago
best_gen13.pt
pickle
Detected Pickle imports (8)
"numpy.dtype"
,
"numpy._core.multiarray._reconstruct"
,
"torch.FloatStorage"
,
"numpy.ndarray"
,
"torch._utils._rebuild_tensor_v2"
,
"_codecs.encode"
,
"collections.OrderedDict"
,
"torch.ByteStorage"
How to fix it?
1.14 GB
xet
Gen 13 archive (val_acc=0.274590)
about 2 months ago
best_gen2.pt
pickle
Detected Pickle imports (8)
"numpy._core.multiarray._reconstruct"
,
"torch.ByteStorage"
,
"numpy.ndarray"
,
"collections.OrderedDict"
,
"_codecs.encode"
,
"torch._utils._rebuild_tensor_v2"
,
"torch.FloatStorage"
,
"numpy.dtype"
How to fix it?
1.14 GB
xet
Gen 2 archive (val_acc=0.307377)
3 months ago
best_gen3.pt
pickle
Detected Pickle imports (8)
"numpy.dtype"
,
"collections.OrderedDict"
,
"numpy.ndarray"
,
"torch._utils._rebuild_tensor_v2"
,
"torch.FloatStorage"
,
"_codecs.encode"
,
"torch.ByteStorage"
,
"numpy._core.multiarray._reconstruct"
How to fix it?
1.14 GB
xet
Gen 3 archive (val_acc=0.303279)
3 months ago
best_gen4.pt
pickle
Detected Pickle imports (8)
"torch.FloatStorage"
,
"collections.OrderedDict"
,
"numpy.ndarray"
,
"torch._utils._rebuild_tensor_v2"
,
"_codecs.encode"
,
"numpy._core.multiarray._reconstruct"
,
"numpy.dtype"
,
"torch.ByteStorage"
How to fix it?
1.14 GB
xet
Gen 4 archive (val_acc=0.290984)
3 months ago
best_gen5.pt
pickle
Detected Pickle imports (8)
"torch._utils._rebuild_tensor_v2"
,
"torch.ByteStorage"
,
"numpy._core.multiarray._reconstruct"
,
"_codecs.encode"
,
"numpy.dtype"
,
"numpy.ndarray"
,
"torch.FloatStorage"
,
"collections.OrderedDict"
How to fix it?
1.14 GB
xet
Gen 5 archive (val_acc=0.307377)
3 months ago
best_gen6.pt
pickle
Detected Pickle imports (8)
"numpy.dtype"
,
"torch.ByteStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"numpy._core.multiarray._reconstruct"
,
"torch.FloatStorage"
,
"collections.OrderedDict"
,
"numpy.ndarray"
,
"_codecs.encode"
How to fix it?
1.14 GB
xet
Gen 6 archive (val_acc=0.311475)
2 months ago
best_gen7.pt
pickle
Detected Pickle imports (8)
"collections.OrderedDict"
,
"numpy.ndarray"
,
"torch.FloatStorage"
,
"torch.ByteStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"numpy._core.multiarray._reconstruct"
,
"numpy.dtype"
,
"_codecs.encode"
How to fix it?
1.14 GB
xet
Gen 7 archive (val_acc=0.311475)
2 months ago
best_gen8.pt
pickle
Detected Pickle imports (8)
"torch._utils._rebuild_tensor_v2"
,
"numpy.ndarray"
,
"collections.OrderedDict"
,
"_codecs.encode"
,
"numpy.dtype"
,
"numpy._core.multiarray._reconstruct"
,
"torch.ByteStorage"
,
"torch.FloatStorage"
How to fix it?
1.14 GB
xet
Gen 8 archive (val_acc=0.295082)
2 months ago
best_gen9.pt
pickle
Detected Pickle imports (8)
"torch.FloatStorage"
,
"numpy._core.multiarray._reconstruct"
,
"torch.ByteStorage"
,
"_codecs.encode"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"numpy.dtype"
,
"numpy.ndarray"
How to fix it?
1.14 GB
xet
Gen 9 archive (val_acc=0.295082)
2 months ago