{"id":"W3024114784","doi":"10.48550/arxiv.2005.08396","title":"A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper","year":2020,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"","keywords":"Computer science; Programming language; Quantum circuit; Type (biology); Quantum; Theoretical computer science; Qubit; Quantum computer; Quantum network; 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.001004038,0.001512791,0.0009362792,0.001671604,0.001168336,0.002356124,0.00145139,0.001643211,0.04525847],"category_scores_gemma":[0.001946762,0.001088695,0.001585024,0.002719791,0.001947642,0.006489204,0.001500377,0.004817078,0.01566586],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001573464,"about_ca_system_score_gemma":0.0009926315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001035835,"about_ca_topic_score_gemma":0.001119401,"domain_scores_codex":[0.9994074,0.0001261679,0.00005136448,0.000168634,0.000180631,0.00006581601],"domain_scores_gemma":[0.9992816,0.0004588852,0.00003337502,0.00006406217,0.0001077332,0.00005448325],"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.00004702657,0.0001151221,0.0001792901,0.0009836922,0.00002351462,0.0002320192,0.0005114631,0.002689947,0.005205199,0.8146616,0.08528026,0.09007092],"study_design_scores_gemma":[0.00001229941,0.00007049253,0.0002721649,0.0002622152,0.00001306174,0.0005726497,0.00005671547,0.004342334,0.00147856,0.3609999,0.6318621,0.00005748485],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003789885,0.03468929,0.7822412,0.00541902,0.005035244,0.0003143317,0.001946996,0.005547894,0.1610161],"genre_scores_gemma":[0.08277613,0.0679085,0.6440718,0.01043683,0.00904479,0.001489895,0.003050434,0.005209086,0.1760126],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04525847,"threshold_uncertainty_score":0.1514046,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04764575447894676,"score_gpt":0.1977545363666976,"score_spread":0.1501087818877509,"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."}}