تتناول الورقة التحديات المتعلقة بالتفكير في البرامج الكمومية، مع التركيز بشكل خاص على قيود تقنيات التحقق الحالية للدارات الكمومية، التي تتطلب غالبًا موارد أسية. للتغلب على هذه التحديات، يقدم المؤلفون SAQR-QC، وهو منطق مصمم للتفكير الكمي القابل للتوسع ولكن التقريبي حول الدارات الكمومية. يتضمن SAQR-QC فقدانًا متعمدًا للدقة، ويحافظ على أخطاء متراكمة صغيرة أثناء التفكير،…