{"id":"W2465986318","doi":"10.1007/978-3-319-40648-0_26","title":"Hierarchical Verification of Quantum Circuits","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automated theorem proving; HOL; Formal verification; Theoretical computer science; Electronic circuit; Quantum computer; Quantum; Quantum gate; Gas meter prover; Quantum circuit; Formal methods; Factoring; Quantum logic; Computer engineering; Programming language; Algorithm; Quantum network; Mathematics; Quantum mechanics; Physics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001567417,0.0006161891,0.00101316,0.0009629573,0.001355682,0.002163841,0.002043885,0.001205649,0.01419448],"category_scores_gemma":[0.005627273,0.0008674604,0.001303327,0.0009083577,0.003394144,0.0050287,0.003885305,0.003292636,0.002150624],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0021519,"about_ca_system_score_gemma":0.001437968,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001202811,"about_ca_topic_score_gemma":0.001865422,"domain_scores_codex":[0.99799,0.0005947367,0.0001012492,0.0003452352,0.0006739628,0.0002948436],"domain_scores_gemma":[0.9957917,0.002116904,0.0001545103,0.00135338,0.0004280655,0.0001554118],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00009292865,0.00003119156,0.0001512059,0.0001284464,0.00001621327,0.00004000213,0.0001327462,0.008275214,0.005295751,0.9545084,0.002478243,0.02884963],"study_design_scores_gemma":[0.00002243003,0.00002311213,0.0001608014,0.00002740543,0.00001163138,0.00002684188,0.00002913584,0.03702072,0.006201051,0.9506271,0.005834722,0.00001498129],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07137533,0.001299722,0.8374674,0.00160403,0.0003319916,0.0002558733,0.0005658964,0.002372165,0.08472765],"genre_scores_gemma":[0.8002192,0.000728531,0.1787817,0.0004073126,0.0002477504,0.0001829286,0.0009841117,0.0003702699,0.01807813],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01419448,"threshold_uncertainty_score":0.04748529,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0152181453755671,"score_gpt":0.2394330427927181,"score_spread":0.224214897417151,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}