Pinned Loading

1. vsclaude vsclaude Public

   Visual Studio Code ❌ Visual Studio Claude ✅ Claude Code In Motion -> 200 distinct agent behaviors. Full IDE.

   TypeScript 1

2. THGTM THGTM Public

   Tsetlin Machines that remember: echo-trace automata and bounded-LTL literals for sequence learning and trajectory-level verification of AI agents. Catches the slow-roll attack every per-step monito…

   Python

3. Clause-Driven-LLM Clause-Driven-LLM Public

   Interpretable Tsetlin Machine control layer for LLM agents: it learns clause-based routing over frozen embeddings, escalates low-margin queries to a human, and emits a SAT-verifiable receipt for ev…

   Python

4. clauseguard clauseguard Public

   An auditable safety layer for any LLM. SAT-verifiable Boolean rules and counterfactual evidence recourse via dual-graph Tsetlin Machines. Built for EU AI Act Article 13/14 compliance.

   Python

5. attention-distilled-graphtm attention-distilled-graphtm Public

   A Graph Tsetlin Machine that inherits BERT's attention edges as its graph topology. After extraction BERT is discarded and the student learns pure Boolean clauses. 94.77% on R8, fully interpretable.

   Python

6. graphtm-cbr graphtm-cbr Public

   graphhtm-cbr predicts whether a molecule is mutagenic (a kind of biological activity) directly from its chemical structure, and, when the prediction is "yes", proposes the single bond to remove tha…

   Python