{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004086068,0.0008416589,0.000810241,0.0009718368,0.0009613758,0.002250985,0.003010811,0.001190151,0.002927177],"category_scores_gemma":[0.01157257,0.0007616314,0.001718593,0.0007200756,0.003369455,0.0043855,0.003100941,0.003190691,0.0006708826],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001739991,"about_ca_system_score_gemma":0.002924195,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003307633,"about_ca_topic_score_gemma":0.003172772,"domain_scores_codex":[0.9961401,0.001281472,0.0002642451,0.0005623756,0.001368049,0.0003838628],"domain_scores_gemma":[0.9924231,0.004042224,0.000392533,0.00218373,0.0008116355,0.0001468495],"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.000226687,0.0002005128,0.001257847,0.0003042325,0.00007990382,0.0003034518,0.0005520188,0.2209393,0.05529996,0.6394966,0.00182113,0.0795183],"study_design_scores_gemma":[0.00006442574,0.00008436915,0.0001780296,0.00002960904,0.00002444153,0.00007481233,0.00007003579,0.7169912,0.032584,0.2460902,0.003778379,0.00003053056],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01931265,0.00004155582,0.9779195,0.000141405,0.00001382712,0.00007127035,0.00005896857,0.001609592,0.0008311914],"genre_scores_gemma":[0.4791048,0.0001346096,0.5183504,0.0001815248,0.00003373635,0.0002166658,0.000320647,0.0004497076,0.001207976],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004086068,"threshold_uncertainty_score":0.02160943,"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."}}