BoggersTheFish
/

ts-proof-ranker-v2

Token Classification

ts-proof-ranker-v2

theorem-proving

first-order-logic

thinking-system

failed-step-detection

Model card Files Files and versions

ts-proof-ranker-v2 / tokenizer.json

Commit History

Upload v2: local tension failed-step detector

c2428d0
verified

BoggersTheFish commited on about 1 month ago