{"id":"W2803889673","doi":"10.4204/eptcs.287.1","title":"Towards Large-scale Functional Verification of Universal Quantum Circuits","year":2019,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":114,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Canadian Institute for Advanced Research","keywords":"Computer science; Quantum computer; Formal equivalence checking; Boolean function; Qubit; Boolean circuit; Theoretical computer science; Formal verification; Algorithm; Polynomial; Quantum circuit; Electronic circuit; Quantum algorithm; Quantum; Mathematics; Quantum error correction; Quantum mechanics; Physics","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001768888,0.000201041,0.0002669401,0.0003852154,0.0001670997,0.000164802,0.002025558,0.00008034333,0.00002804619],"category_scores_gemma":[0.00005780095,0.0001814398,0.00007718102,0.002165434,0.0006323933,0.0006393691,0.000668475,0.0004969099,0.0000258456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002208189,"about_ca_system_score_gemma":0.0005210615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003177201,"about_ca_topic_score_gemma":4.681988e-7,"domain_scores_codex":[0.9969707,0.00002769471,0.0003443582,0.0008943332,0.0008211471,0.0009417876],"domain_scores_gemma":[0.9989872,0.00008745113,0.000144366,0.0003667491,0.0002834657,0.0001307944],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008575355,0.00009310482,0.0004401645,0.00001836397,0.000003618304,8.745379e-7,0.0008066338,0.0006726928,0.003354815,0.982384,0.00002310924,0.01219405],"study_design_scores_gemma":[0.0003976743,0.0003676531,0.006545435,0.00005242393,0.000002155005,0.00002676495,0.00002794737,0.8614362,0.0051746,0.1256165,0.0001509236,0.0002016564],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4443012,0.00002892471,0.5525963,0.0004811148,0.000439541,0.0001578572,7.407909e-7,0.0001008476,0.001893472],"genre_scores_gemma":[0.9855087,0.000005929314,0.01421185,0.0001628647,0.00008566553,0.000003868191,8.908432e-7,0.000009451761,0.00001082933],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8607635,"threshold_uncertainty_score":0.73989,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004568378535353583,"score_gpt":0.2092226567603188,"score_spread":0.2046542782249653,"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."}}