{"id":"W4323026395","doi":"10.1007/978-3-031-27481-7","title":"Formal Methods","year":2023,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"College of Engineering, Michigan State University; Gran Sasso Science Institute; Mälardalens högskola; Universidad Nacional de Río Cuarto; RWTH Aachen University; Bauhaus-Universität Weimar; Technische Universität Darmstadt; Technische Universität Wien; Universität zu Lübeck; Macquarie University; Centre National de la Recherche Scientifique; Universität des Saarlandes; Vysoké Učení Technické v Brně; Chinese Academy of Sciences; Radboud Universiteit; Universität Bremen; Nanyang Technological University; Universitetet i Oslo; Universiteit Stellenbosch; Helsingin Yliopisto; University of Alberta; Danmarks Tekniske Universitet; Kennesaw State University; Amazon Web Services; Imperial College London; McMaster University; University of Toronto; Universidade do Minho; Michigan State University; Microsoft Research; University of Waterloo; National Institute of Informatics; University of Twente","keywords":"Computer science","routes":{"ca_aff":true,"ca_fund":true,"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.002150158,0.001420594,0.001015044,0.001919219,0.001061134,0.003897138,0.00199049,0.001263518,0.1179103],"category_scores_gemma":[0.004188138,0.001110332,0.001345952,0.001315762,0.00186328,0.004584806,0.002003475,0.003142023,0.06317873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001351801,"about_ca_system_score_gemma":0.0012535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008865395,"about_ca_topic_score_gemma":0.0009177103,"domain_scores_codex":[0.9979066,0.0004700091,0.0001356939,0.000334912,0.0010365,0.0001163218],"domain_scores_gemma":[0.9984,0.0008068858,0.00004696502,0.0004202655,0.0002778599,0.00004783869],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002379964,0.0000447375,0.00008631193,0.0004401124,0.0000195757,0.0000528021,0.0003455254,0.0008283769,0.0009924633,0.6672419,0.09985676,0.2300677],"study_design_scores_gemma":[0.00002040011,0.00001206347,0.00007380653,0.0002214657,0.00001090682,0.0001594189,0.00005334021,0.00169662,0.001169589,0.2742411,0.7223288,0.00001251397],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006751826,0.006231155,0.6274278,0.001782878,0.001234381,0.0002380102,0.001026961,0.004630531,0.3567531],"genre_scores_gemma":[0.03871019,0.009021423,0.3448647,0.001460335,0.001055855,0.0007963633,0.003469273,0.003760085,0.5968618],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1179103,"threshold_uncertainty_score":0.3944494,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04229805829515437,"score_gpt":0.3540630176852357,"score_spread":0.3117649593900814,"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."}}