{"id":"W2949317307","doi":"10.1007/978-3-030-21500-2_6","title":"Sized Types for Low-Level Quantum Metaprogramming","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Metaprogramming; Programmer; Programming language; Subtyping; Context (archaeology); Quantum circuit; Theoretical computer science; Quantum; Quantum computer; Quantum network","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001304805,0.000795391,0.0009667609,0.0008471372,0.000392839,0.0008756291,0.004364189,0.0004127373,0.00001090806],"category_scores_gemma":[0.0001829969,0.0006805469,0.0003900955,0.0006455186,0.0004754892,0.0003858162,0.001544606,0.0009604325,0.00006732201],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001866216,"about_ca_system_score_gemma":0.001041628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001775532,"about_ca_topic_score_gemma":0.00002280022,"domain_scores_codex":[0.9949,0.00004122211,0.0006990206,0.002199153,0.001013857,0.001146711],"domain_scores_gemma":[0.9959195,0.001286251,0.0004352542,0.00178106,0.0003591454,0.0002187792],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001096871,0.00003334234,0.000004467106,0.0001193923,0.00003191268,0.0000294832,0.0004127077,0.06361641,0.0001379941,0.0440225,0.00002611865,0.8915547],"study_design_scores_gemma":[0.0004690572,0.000265044,0.0000317617,0.0004158535,0.00001561119,0.00004823883,1.108329e-7,0.8447657,0.0005442335,0.148408,0.004246434,0.0007898817],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002141785,0.0007143898,0.9920148,0.001244895,0.004000826,0.0009840076,0.00001994529,0.0003217517,0.0004851643],"genre_scores_gemma":[0.0530071,0.00002216606,0.9437495,0.00133957,0.0009673782,0.00002122395,0.00001443436,0.00009122314,0.0007874251],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8907648,"threshold_uncertainty_score":0.9995646,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02255635379182029,"score_gpt":0.2553420356084694,"score_spread":0.2327856818166491,"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."}}