Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
Zory
/
abductiveTP_ckpt
like
0
Model card
Files
Files and versions
Community
0bd4854
abductiveTP_ckpt
2 contributors
History:
22 commits
Zory, Zhang
Merge branch 'tmp'
0bd4854
6 months ago
.gitattributes
2.09 kB
add v9.premise.corpus
6 months ago
970b59.premise.corpus
2.13 GB
LFS
add v9.premise.corpus
6 months ago
as_a603a42.ckpt
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.FloatStorage"
What is a pickle import?
2.61 GB
LFS
add as_a603a42.ckpt
6 months ago
ev_4d5cccp.ckpt
pickle
Detected Pickle imports (3)
"torch.FloatStorage"
,
"collections.OrderedDict"
,
"torch._utils._rebuild_tensor_v2"
What is a pickle import?
2.64 GB
LFS
add ev_4d5cccp.ckpt
6 months ago
ev_enc0.ckpt
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.FloatStorage"
,
"collections.OrderedDict"
What is a pickle import?
3.52 GB
LFS
update ev ckpt into ev7_enc_v6
7 months ago
readme.md
32 Bytes
Create readme.md
8 months ago
reprover_87106cf_3d68ae.ckpt
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.FloatStorage"
What is a pickle import?
3.6 GB
LFS
rename to reflect ckpt version
6 months ago
retriever.ckpt
pickle
Detected Pickle imports (3)
"torch.FloatStorage"
,
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
What is a pickle import?
2.61 GB
LFS
add retriever.ckpt
8 months ago
retriever_a75fc0c_3d68ae.ckpt
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"torch.FloatStorage"
,
"collections.OrderedDict"
What is a pickle import?
2.61 GB
LFS
rename to reflect ckpt version
6 months ago
v8.premise.corpus
2.2 GB
LFS
add v9.premise.pickle
6 months ago
v8.premise.pickle
615 MB
LFS
add file
6 months ago
v9.100.asource_3dc55c7_v0.pickle
pickle
Detected Pickle imports (5)
"common.Premise"
,
"lean_dojo.data_extraction.lean.Pos"
,
"prototype.ProofKnowledge"
,
"prototype.ProofGoal"
,
"lean_dojo.interaction.parse_goals.Declaration"
How to fix it?
1.66 MB
LFS
add file
6 months ago
v9.premise.corpus
2.28 GB
LFS
add v9.premise.corpus
6 months ago
v9.premise.pickle
569 MB
LFS
add v9.premise.pickle
6 months ago
