Review of: "A Review of Formal Methods in Quantum Circuit Verification"

& General AssessmentThe manuscript provides a broad overview of formal methods applied to quantum circuit veri cation, covering barrier certi cates, abstract interpretation, and model checking.While the topic is undeniably timely and relevant given the growing complexity of quantum programs, I cannot recommend this manuscript for publication in its current form.To be frank, the paper feels like a rough draft rather than a polished submission.It suffers from severe presentation issues, a lack of depth in comparative analysis, and bibliographic errors that undermine its value as a survey.Below, I outline the critical reasons for this decision.