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
BoggersTheFish
/
ts-proof-ranker-v3
like
0
Text Generation
PyTorch
ts-proof-ranker-v3
theorem-proving
first-order-logic
thinking-system
proof-search
proof-chain-repair
experimental
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
ts-proof-ranker-v3
742 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
BoggersTheFish
Upload v3: experimental proof-chain repair decoder
b2b60ae
verified
28 days ago
.gitattributes
Safe
1.52 kB
initial commit
28 days ago
README.md
4.1 kB
Upload v3: experimental proof-chain repair decoder
28 days ago
config.json
271 Bytes
Upload v3: experimental proof-chain repair decoder
28 days ago
metrics.json
2.65 kB
Upload v3: experimental proof-chain repair decoder
28 days ago
pytorch_model.bin
pickle
Detected Pickle imports (3)
"collections.OrderedDict"
,
"torch._utils._rebuild_tensor_v2"
,
"torch.FloatStorage"
What is a pickle import?
733 kB
xet
Upload v3: experimental proof-chain repair decoder
28 days ago
tokenizer.json
722 Bytes
Upload v3: experimental proof-chain repair decoder
28 days ago
training_args.json
285 Bytes
Upload v3: experimental proof-chain repair decoder
28 days ago
