Validating Quantum State Preparation Programs (Extended Version)
यह शोधपत्र Pqasm को प्रस्तुत करता है, जो Coq में कार्यान्वित एक उच्च-आश्वासन (high-assurance) ढांचा है जो क्वांटम स्टेट प्रिपरेशन प्रोग्रामों की शुद्धता को गैर-सुपरपोजिशन अवस्थाओं (non-superposition states) में कम करके उन्हें मान्य करता है, जिससे उन एल्गोरिदम के लिए शास्त्रीय कंप्यूटरों पर प्रभावी संपत्ति-आधारित परीक्षण (property-based testing) सक्षम होता है जो वर्तमान क्वांटम सिम्युलेटरों की पहुंच से बाहर हैं।