Hybrid Path-Sums offer a new symbolic framework with rewriting rules and assertions to represent, simplify, and verify properties of hybrid quantum-classical programs.
In: Cohen, L., Kaliszyk, C
3 Pith papers cite this work, alongside 19 external citations. Polarity classification is still indexing.
3
Pith papers citing it
19
external citations · OpenAlex
citation-role summary
baseline 1
citation-polarity summary
years
2026 3roles
baseline 1polarities
baseline 1representative citing papers
Integer hybrid path-sums plus a sound Hoare logic enable semi-automated functional verification and expected-cost analysis of hybrid quantum programs with unbounded while loops.
The paper develops verified Rocq tactics for string-diagram-based equational reasoning in symmetric monoidal categories via conversion to hypergraphs with interfaces.
citing papers explorer
-
Hybrid Path-Sums for Hybrid Quantum Programs
Hybrid Path-Sums offer a new symbolic framework with rewriting rules and assertions to represent, simplify, and verify properties of hybrid quantum-classical programs.
-
An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops
Integer hybrid path-sums plus a sound Hoare logic enable semi-automated functional verification and expected-cost analysis of hybrid quantum programs with unbounded while loops.
-
TensorRocq: Enabling diagrammatic reasoning in Rocq
The paper develops verified Rocq tactics for string-diagram-based equational reasoning in symmetric monoidal categories via conversion to hypergraphs with interfaces.