Skip to content

Author

Adam Laabs

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

AlchemQ: Proof-Carrying Quantum Circuit Optimization with Per-Result Equivalence Certificates

We present AlchemQ v0.5, a proof-of-concept system that couples an untrusted beam-search optimizer with a machine-checkable per-result certification layer and a versioned certificate protocol (0.2.0), so that every optimized circuit ships with a verifiable artifact rather than a bare claim. The certifier proves equival...

Adam Laabs · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.