Verified Optimization in a Quantum Intermediate Representation.

Kesha Hietala Robert Rand Shih-Han Hung Xiaodi Wu Michael Hicks

Published in: CoRR (2019)

Keyphrases

intermediate representation
intermediate level
machine learning
viewpoint
manufacturing systems