7 projects
infereval
Inferentialist evaluation of LLMs: derive implication frames from a model's endorsement verdicts and measure model–analyst agreement on labeled inference benchmarks. Evidence bearing on inferential-mastery attribution.
elenchus
Dialectical knowledge base construction via the Elenchus protocol
pyNMMS
An automated reasoner for the Non-Monotonic Multi-Succedent (NMMS) sequent calculus from Hlobil & Brandom 2025, Ch. 3.
wkrq
A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification
bilateral-truth
Caching bilateral factuality evaluation using generalized truth values
doomsday
A command line Doomsday rule utility and trainer
rdf-to-sqlite
Utility for converting an RDF file to SQLite
