{"id":"W3110599976","doi":"","title":"Quantum Programming with Inductive Datatypes","year":2020,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"","keywords":"Computer science; Programming language; Quantum; Physics; Quantum mechanics","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.006541673,0.000613497,0.0008448638,0.001547047,0.002129606,0.004330974,0.002755967,0.001717331,0.006168506],"category_scores_gemma":[0.009246186,0.000960422,0.002502683,0.00161226,0.01054142,0.01331829,0.008229883,0.006625158,0.001456282],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002627245,"about_ca_system_score_gemma":0.002549398,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00193376,"about_ca_topic_score_gemma":0.001761293,"domain_scores_codex":[0.9933809,0.002489772,0.0005026463,0.000919904,0.0020996,0.0006071013],"domain_scores_gemma":[0.9940161,0.002666849,0.0002742274,0.001732014,0.001036621,0.0002742896],"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.000009280486,0.000006671364,0.00005107476,0.00001914677,0.000002956179,0.00002102304,0.0001720948,0.0006165727,0.0002949024,0.9962708,0.0003454585,0.002190068],"study_design_scores_gemma":[0.00001492196,0.00001432889,0.00003801171,0.00002018594,0.000008649288,0.00004444219,0.0000633286,0.007441611,0.001271039,0.9750963,0.01596855,0.00001872324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009014933,0.0001719819,0.9711458,0.00158451,0.00025686,0.0000638664,0.0002144603,0.0009426514,0.01660497],"genre_scores_gemma":[0.4135899,0.0005711745,0.5636834,0.002120061,0.0006248435,0.0006358736,0.0005423684,0.001166064,0.01706644],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006541673,"threshold_uncertainty_score":0.03459609,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01661441850884042,"score_gpt":0.2296917076692253,"score_spread":0.2130772891603849,"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."}}