{"id":"W4388580387","doi":"10.1007/978-3-031-47705-8","title":"Integrated Formal Methods","year":2023,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Advanced Data Processing Techniques","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Università degli Studi di Torino; Universitetet i Oslo; University of Surrey; Carl von Ossietzky Universität Oldenburg; University of Twente; McMaster University","keywords":"Computer science","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008070219,0.0003523724,0.0003535854,0.0006674962,0.00009090616,0.0001600665,0.001333672,0.0002866598,0.000007516518],"category_scores_gemma":[0.0001903991,0.000322641,0.00004699057,0.001171718,0.0003427711,0.000553605,0.0005093865,0.0009540397,0.00003066779],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005178718,"about_ca_system_score_gemma":0.0003214428,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002994769,"about_ca_topic_score_gemma":0.00001810014,"domain_scores_codex":[0.9982408,0.00002119142,0.0003056237,0.0005478317,0.000317468,0.0005670616],"domain_scores_gemma":[0.9987923,0.0003585392,0.0000582603,0.000631093,0.00008681091,0.00007302268],"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":[9.87043e-7,0.000002147673,0.000001320577,0.00007200635,0.000004004168,0.00001689938,0.0001054227,0.07591614,0.0003570448,0.00008079729,0.0005898485,0.9228534],"study_design_scores_gemma":[0.00006140281,0.00003379759,0.0000071745,0.0004916161,0.00000410996,0.00002009754,9.655299e-8,0.8374925,0.01280599,0.1335565,0.01505183,0.0004748389],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000004804388,0.0003490228,0.9943616,0.00002333099,0.001340947,0.0001643719,0.00001858798,0.002253425,0.001483873],"genre_scores_gemma":[0.0004201554,0.00007009032,0.9985486,0.0001399977,0.000239629,0.00001794731,0.00005331056,0.00008109939,0.0004291965],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9223785,"threshold_uncertainty_score":0.9999226,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02320127823493744,"score_gpt":0.3197725311018528,"score_spread":0.2965712528669154,"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."}}