Issues

• Optional Lean 4 verification pilot for proof obligations O1 and O2

  Gottesman-Software/lidmas_cpp#21 · Filter by author utkuokur opened on Oct 12, 2026

• tensor-network: prototype surface/GKP tensor-network decoder

  Gottesman-Software/lidmas_cpp#11 · Filter by author DennisWayo opened on Jul 8, 2026

• neural: add reproducible training-data and decoder evaluation pipeline

  Gottesman-Software/lidmas_cpp#10 · Filter by author DennisWayo opened on Jul 8, 2026

• neural: implement real neural decoder inference backend

  Gottesman-Software/lidmas_cpp#9 · Filter by author DennisWayo opened on Jul 8, 2026

• decoder-api: add soft-information decoder interface and run artifact schema

  Gottesman-Software/lidmas_cpp#8 · Filter by author DennisWayo opened on Jul 8, 2026

• decoder-core: replace MWPM greedy fallback with scalable matching

  Gottesman-Software/lidmas_cpp#7 · Filter by author DennisWayo opened on Jul 8, 2026