Hugging Face model: BoggersTheFish/ts-proof-ranker-v4
Author: BoggersTheFish
Created: 2026-05-05 16:23:46
Last modified: 2026-05-05 16:23:47
Pipeline: text-generation
Library: pytorch
Likes: 0 | Downloads: 7
Tags: pytorch, ts-proof-ranker-v4, theorem-proving, first-order-logic, thinking-system, proof-search, verifier-backed, proof-loop, active-frontier, text-generation, region:us
Card metadata:
library_name: pytorch
pipeline_tag: text-generation
tags: theorem-proving, first-order-logic, thinking-system, proof-search, verifier-backed, proof-loop, active-frontier