{"id":"W2554383746","doi":"10.1007/978-3-319-48869-1","title":"Verified Software. Theories, Tools, and Experiments","year":2016,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Software engineering","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.001592299,0.0002675359,0.0003608357,0.0004897492,0.0002743163,0.0007728244,0.001761069,0.0002239585,0.0001391158],"category_scores_gemma":[0.001171677,0.0001752729,0.00006447387,0.0007297753,0.000895231,0.0004324548,0.0007483888,0.0002467515,0.00007120188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001732294,"about_ca_system_score_gemma":0.0004982125,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004307209,"about_ca_topic_score_gemma":0.000005258345,"domain_scores_codex":[0.9965784,0.00005456422,0.0005410548,0.001165642,0.001325468,0.0003348496],"domain_scores_gemma":[0.9954484,0.002706729,0.000255215,0.001171,0.0002924011,0.0001262182],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000005051138,0.00001210963,0.0001821039,0.00000245617,0.000002116932,0.000002897679,0.0002701633,0.0002279963,0.0001409978,0.00781997,0.0008590431,0.9904751],"study_design_scores_gemma":[0.0001809637,0.00005546424,0.0005232547,0.00009806937,0.000002724697,0.000008860151,5.26542e-7,0.003872592,0.002850915,0.9408706,0.05120304,0.00033301],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002003966,0.0003072742,0.9950312,0.0004182562,0.000500788,0.0003520666,0.00003507734,0.0001099487,0.003045033],"genre_scores_gemma":[0.2691411,0.000134457,0.70256,0.004629254,0.001496051,0.0001405721,0.00003097855,0.00008623603,0.0217814],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9901421,"threshold_uncertainty_score":0.7452363,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07323841759567382,"score_gpt":0.3723079387014487,"score_spread":0.2990695211057749,"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."}}