Verifying equivalence between two quantum circuits is a hard problem, that is nonetheless
crucial in compiling and optimizing quantum algorithms for real-world devices. This paper …

Abstract Quantum Artificial Intelligence (QAI) is the intersection of quantum computing and
AI, a technological synergy with expected significant benefits for both. In this paper, we …

This tutorial introduces quantum computing with a focus on the applicability of formal
methods in this relatively new domain. We describe quantum circuits and convey an …

Weighted model counting (# SAT) has recently been shown to deliver a promising new
method for tackling core problems in quantum circuit analysis. However, the development of …

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th
International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy …

Quantum architecture search (QAS) represents a fundamental challenge in quantum
machine learning. Unlike previous methods that treat it as a static search process, from a …