Hybrid Path-Sums offer a new symbolic framework with rewriting rules and assertions to represent, simplify, and verify properties of hybrid quantum-classical programs.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Mechanizes three governance theorems in Coq and proves two on paper for structural governance in AI systems, with runtime verification via property-based testing showing zero discrepancies.
citing papers explorer
No citing papers match the current filters.