90 citations · 601 across the 44 of their papers we have counts for
46 papers
SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
Sean Feeney, Pooja Rao, Andreas Klappenecker +5
In this paper, we present SCALAR (Symbolic Conjecture and LLM-Assisted Reasoning), a neurosymbolic framework for automated conjecture generation in quantum circuit analysis built o…
A Combinatorial Interpretation for the Shor-Laflamme Weight Enumerators of CWS Codes
Andrew Nemec, Andreas Klappenecker
We show that one of the Shor-Laflamme weight enumerators of a codeword stabilized quantum code may be interpreted as the distance enumerator of an associated classical code.
Encoding Classical Information in Gauge Subsystems of Quantum Codes
Andrew Nemec, Andreas Klappenecker
We show how to construct hybrid quantum-classical codes from subsystem codes by encoding the classical information into the gauge qudits using gauge fixing. Unlike previous work on…
Nonbinary Error-Detecting Hybrid Codes
Andrew Nemec, Andreas Klappenecker
Hybrid codes simultaneously encode both quantum and classical information, allowing for the transmission of both across a quantum channel. We construct a family of nonbinary error-…
Infinite Families of Quantum-Classical Hybrid Codes
Andrew Nemec, Andreas Klappenecker
Hybrid codes simultaneously encode both quantum and classical information into physical qubits. We give several general results about hybrid codes, most notably that the quantum co…
Hybrid Codes
Andrew Nemec, Andreas Klappenecker
A hybrid code can simultaneously encode classical and quantum information into quantum digits such that the information is protected against errors when transmitted through a quant…