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-v4
like
0
Text Generation
PyTorch
ts-proof-ranker-v4
theorem-proving
first-order-logic
thinking-system
proof-search
verifier-backed
proof-loop
active-frontier
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
ts-proof-ranker-v4
15.6 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
BoggersTheFish
Upload v4: verifier-backed active-frontier proof loop
697886a
verified
27 days ago
.gitattributes
Safe
1.52 kB
initial commit
27 days ago
README.md
3.35 kB
Upload v4: verifier-backed active-frontier proof loop
27 days ago
config.json
608 Bytes
Upload v4: verifier-backed active-frontier proof loop
27 days ago
metrics.json
964 Bytes
Upload v4: verifier-backed active-frontier proof loop
27 days ago
v1_bridge.py
1.53 kB
Upload v4: verifier-backed active-frontier proof loop
27 days ago
v4_orchestrator.py
7.66 kB
Upload v4: verifier-backed active-frontier proof loop
27 days ago
