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-v1
like
0
Text Classification
PyTorch
ts-proof-ranker-v1
theorem-proving
first-order-logic
thinking-system
proof-search
proof-path-ranking
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
ts-proof-ranker-v1
626 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
BoggersTheFish
Upload v1: pairwise proof-chain quality ranker (98.4% test acc)
5b50bcc
verified
about 1 month ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 month ago
README.md
3.87 kB
Upload v1: pairwise proof-chain quality ranker (98.4% test acc)
about 1 month ago
config.json
189 Bytes
Upload v1: pairwise proof-chain quality ranker (98.4% test acc)
about 1 month ago
metrics.json
4.06 kB
Upload v1: pairwise proof-chain quality ranker (98.4% test acc)
about 1 month ago
pytorch_model.bin
615 kB
xet
Upload v1: pairwise proof-chain quality ranker (98.4% test acc)
about 1 month ago
tokenizer.json
688 Bytes
Upload v1: pairwise proof-chain quality ranker (98.4% test acc)
about 1 month ago
training_args.json
278 Bytes
Upload v1: pairwise proof-chain quality ranker (98.4% test acc)
about 1 month ago
