A framework for verifiable reasoning with language models.
-
Updated
Jul 15, 2026 - Python
A framework for verifiable reasoning with language models.
GenPark AI Agent Skill - Self-consistency sampling aggregator, majority voting consensus engine, and semantic clusterer for reasoning verification.
GenPark AI Agent Skill - Self-consistency sampling aggregator, majority voting consensus engine, and semantic clusterer for reasoning verification.
framework for detecting hallucinations in LLM chain-of-thought reasoning. Features synthetic data corruption, transformer-based classifiers, Streamlit UI, and FastAPI backend.
ΑΩ+: Speculative reasoning verification for LLMs. Models reasoning as a potential field over token embeddings, directly linking to attention geometry. Implements tetralectic logic & Φ-harmonic stability. Efficient batched implementation with Hutchinson trace estimation, masking for variable-length sequences, and MPS/CPU hybrid for Apple Silicon.
Verify large language model reasoning with a meta-layer for stability, coherence, and hallucination detection using tetralectic logic and scoring
Public Tsubasa Conformance Corpus for Tobi Validator: verified examples, canonical outputs, diagnostics, and public/private boundary documentation.
To associate your repository with the reasoning-verification topic, visit your repo's landing page and select "manage topics."