Research artifact for the ACM PQQS ’26 paper submission: Certified Confinement: Kernel-Checked Validation of Untrusted Quantum-Cloud Transpiler Output. Lean 4 proofs, reproducible benchmarks, and IBM hardware evidence.
Lean Updated 16 days ago 1 commits
surge-bot|Mirror: alirafiqmalik/certified-confinement-acm-pqqs-26-artifacts (⭐0)
16 days agoAbout
Research artifact for the ACM PQQS ’26 paper submission: Certified Confinement: Kernel-Checked Validation of Untrusted Quantum-Cloud Transpiler Output. Lean 4 proofs, reproducible benchmarks, and IBM hardware evidence.
Readme