{"id":"W2792585849","doi":"10.4204/eptcs.266.11","title":"A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)","year":2018,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Air Force Office of Scientific Research; Natural Sciences and Engineering Research Council of Canada; Simons Institute for the Theory of Computing, University of California Berkeley; U.S. Air Force","keywords":"Morphism; Categorical variable; Categorical quantum mechanics; Programming language specification; Object language; State (computer science); Quantum circuit; Type (biology); Quantum","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002211447,0.000299137,0.0002998569,0.0004032361,0.0005217746,0.0006687852,0.002676327,0.0001121678,0.000005444072],"category_scores_gemma":[0.0002038974,0.0002579208,0.0001018522,0.001641208,0.00144901,0.0007844164,0.0006091144,0.0005446454,0.00001540247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003338396,"about_ca_system_score_gemma":0.0004776712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005524993,"about_ca_topic_score_gemma":0.000003093415,"domain_scores_codex":[0.9960315,0.00001513155,0.0004236535,0.001243044,0.0006619478,0.001624678],"domain_scores_gemma":[0.9987587,0.000122538,0.0001263876,0.0003869692,0.0003634186,0.0002419726],"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.00002003026,0.00009760955,0.000009214514,0.00001549269,0.00000370734,0.000003211978,0.00302857,0.0002879243,0.004586621,0.9597483,0.0000476385,0.03215174],"study_design_scores_gemma":[0.0002641589,0.0003832205,0.0001556314,0.00002068129,0.000002355472,0.00005522589,0.00001052176,0.5831244,0.00203565,0.4137228,0.0000204647,0.0002048822],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1810084,0.00004919134,0.8169522,0.0005926584,0.000294168,0.0003329646,8.222466e-7,0.00027448,0.0004951528],"genre_scores_gemma":[0.9216868,0.000003081867,0.07744589,0.0004272622,0.0003697,0.00003823006,7.093282e-7,0.00001811032,0.00001023274],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7406784,"threshold_uncertainty_score":0.9999873,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01144769719817932,"score_gpt":0.254595512339921,"score_spread":0.2431478151417417,"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."}}