Skip to content
#

certifying-algorithms

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Lean 1 Python 1

j-arndt / qldpc

Star 0

Kernel-checked certification of QLDPC decoder outputs: Lean 4 verified checkers, two-sided per-run certificates (success AND failure witnesses), HMAC-chained audit logs, and Lean-emitted synthesizable RTL (1–2k gates, measured). Bivariate bicycle codes, 72–288 qubits. GPLv3 / commercial dual-license.

fault-tolerance theorem-proving rtl quantum-computing verilog audit-log formal-verification mathlib quantum-error-correction superconducting lean4 qldpc bivariate-bicycle-codes bivariate-bicycle certifying-algorithms
  • Updated Jul 6, 2026
  • Lean

AnwarDebes / reins

Star 0

A certifying, model-free, minimal-intervention runtime shield for LLM agents: it repairs an unsafe tool-call trajectory with the least-cost enactable edit instead of blocking, and certifies every intervention for re-verification without the model.

python security ltl temporal-logic formal-methods ai-safety interpretability runtime-verification model-free tamper-evident tsetlin-machine guardrails llm runtime-enforcement llm-agents agent-safety minimal-intervention shield-synthesis edit-automata certifying-algorithms
  • Updated Jun 28, 2026
  • Python

Improve this page

Add a description, image, and links to the certifying-algorithms topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the certifying-algorithms topic, visit your repo's landing page and select "manage topics."

Learn more