Tootfinder

Als Spanischer Fan hätte ich wahrscheinlich schon längst Le coq est mort angestimmt.
#ESPFRA

This https://arxiv.org/abs/2501.05616 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Validating Quantum State Preparation Programs
One of the key steps in quantum algorithms is to prepare an initial quantum superposition state with different kinds of features. These so-called state preparation algorithms are essential to the behavior of quantum algorithms, and complicated state preparation algorithms are difficult to develop correctly and effectively. This paper presents Pqasm: a high-assurance framework implemented with the Coq proof assistant, allowing us to certify our Pqasm tool to correctly reflect quantum program beh…