{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001837825,0.001073379,0.0007716417,0.001763662,0.0008347466,0.002954818,0.001716595,0.0008846363,0.05313733],"category_scores_gemma":[0.003214536,0.001031434,0.001367529,0.001306311,0.001505614,0.004138757,0.00273491,0.00275811,0.01818638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00116324,"about_ca_system_score_gemma":0.001398513,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008377734,"about_ca_topic_score_gemma":0.001048437,"domain_scores_codex":[0.9982675,0.000339697,0.00009953232,0.0002955831,0.0008963131,0.0001013018],"domain_scores_gemma":[0.99867,0.0005243968,0.00003553648,0.0004847064,0.000237871,0.00004755369],"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":[0.00004241568,0.00005959874,0.0001254698,0.000222664,0.00002574874,0.00003807901,0.0003069743,0.002741869,0.002112557,0.5935542,0.03550906,0.3652613],"study_design_scores_gemma":[0.00002202088,0.0000269736,0.0001380247,0.0001701993,0.00002480963,0.0001401158,0.00006975727,0.01156779,0.002966966,0.5863809,0.3984748,0.00001765414],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001378717,0.002361617,0.8731993,0.0007375252,0.0004817885,0.00009985741,0.000351258,0.003512867,0.1178771],"genre_scores_gemma":[0.06333718,0.003561721,0.6413105,0.0005342935,0.000445091,0.0003839405,0.002347034,0.003281628,0.2847987],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.05313733,"threshold_uncertainty_score":0.1777621,"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."}}