{"id":"W4401815668","doi":"10.1007/978-3-031-64136-7_5","title":"Verification and Validation of Quantum Software","year":2024,"lang":"en","type":"book-chapter","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"Universität Innsbruck","keywords":"Computer science; Software verification; Software engineering; Verification and validation; Software; Programming language; Software construction; Software development; Mathematics; Statistics","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":[],"consensus_categories":[],"category_scores_codex":[0.0001576046,0.000133138,0.0001540045,0.0001568905,0.00002520044,0.00007244484,0.000258276,0.0001392732,0.00001351179],"category_scores_gemma":[0.00006498432,0.0001200833,0.00004212977,0.00003609478,0.00004084031,0.00009933936,0.0001562699,0.0001176125,0.00003491759],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001775105,"about_ca_system_score_gemma":0.00003647184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001677388,"about_ca_topic_score_gemma":2.450006e-7,"domain_scores_codex":[0.9992381,0.000004548008,0.0002010349,0.0003187535,0.0001700505,0.0000675463],"domain_scores_gemma":[0.9991696,0.0001435184,0.0001099271,0.0004569441,0.00009139209,0.00002861879],"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":[5.567402e-7,0.000002779181,0.00001932887,0.00009554515,0.000009783645,0.000002341275,0.0000613044,7.43073e-7,0.00001067985,0.9664395,0.009125697,0.02423171],"study_design_scores_gemma":[0.00002148916,0.00005380974,0.00002085845,0.0002894852,0.00001619713,0.00001430164,2.621874e-7,0.00411326,0.0007356078,0.9835882,0.01098865,0.0001578935],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001748399,0.0006634833,0.8929622,0.0001713889,0.0002228951,0.000126607,0.000006010744,0.009080014,0.09674993],"genre_scores_gemma":[0.02396869,0.0002600384,0.5974571,0.000132794,0.0001195151,0.00001820506,0.00005027463,0.00007362296,0.3779198],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2955051,"threshold_uncertainty_score":0.4896856,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02981192027902278,"score_gpt":0.2559897412367009,"score_spread":0.2261778209576781,"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."}}