Logical Clifford Synthesis for Stabilizer Codes.

Narayanan Rengaswamy A. Robert Calderbank Swanand Kadhe Henry D. Pfister

Published in: CoRR (2019)

Keyphrases

logical operations
program synthesis
error correction
logical representation
logical reasoning
neural network
machine learning
information systems
expert systems
probabilistic model
functional programs