{"id":"W3215985406","doi":"10.48550/arxiv.2111.10867","title":"Qimaera: Type-safe (Variational) Quantum Programming in Idris","year":2021,"lang":"","type":"preprint","venue":"arXiv (Cornell University)","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"","keywords":"Computer science; Quantum; Quantum computer; Quantum algorithm; Programmer; Theoretical computer science; Programming language; Algorithm; Quantum mechanics; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.0009687989,0.0009079091,0.001003201,0.0007601565,0.0004825345,0.0007841174,0.002939442,0.0006949082,0.0001396934],"category_scores_gemma":[0.0002059003,0.001122156,0.0005337942,0.004045531,0.0002541881,0.0006190162,0.004325578,0.002342775,0.0001380746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000550874,"about_ca_system_score_gemma":0.001434956,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009086034,"about_ca_topic_score_gemma":0.0001766074,"domain_scores_codex":[0.993576,0.0007305766,0.0008070363,0.003260853,0.0003607995,0.001264725],"domain_scores_gemma":[0.9958264,0.0004517747,0.0006845218,0.001985009,0.0006369019,0.0004154],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005812606,0.0005551894,0.003557144,0.0001850205,0.0001771012,0.002591002,0.002313568,0.8983355,0.00004512452,0.07445133,0.00004517204,0.01768569],"study_design_scores_gemma":[0.0009522519,0.0001689921,0.005898426,0.0006636214,0.00007814522,0.00005089657,0.0002819287,0.9778035,0.00003710905,0.01112189,0.00178595,0.001157246],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5570338,0.0004205171,0.4380731,0.0004619395,0.002778436,0.0005576545,0.00000962375,0.0002010478,0.0004638753],"genre_scores_gemma":[0.977457,0.0003171229,0.02092752,0.0001613986,0.0003375293,0.00000180314,0.00005602115,0.00005379518,0.0006878105],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4204232,"threshold_uncertainty_score":0.9999589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0449361019842144,"score_gpt":0.1924167409591545,"score_spread":0.1474806389749401,"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."}}