{"id":"W4388697727","doi":"10.4204/eptcs.395","title":"Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems","year":2023,"lang":"en","type":"paratext","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Library science; Political science; Factory (object-oriented programming); Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.006202241,0.0008389959,0.0009033773,0.001750544,0.0003863095,0.001994835,0.008912334,0.0005674332,0.00001896297],"category_scores_gemma":[0.0002360159,0.0007939177,0.0002386887,0.002775936,0.0008854227,0.001699205,0.002502922,0.001817104,0.0001987748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002023664,"about_ca_system_score_gemma":0.0007984157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003581625,"about_ca_topic_score_gemma":2.011413e-7,"domain_scores_codex":[0.9926763,0.00002879115,0.0009809504,0.002461943,0.001219721,0.002632265],"domain_scores_gemma":[0.9972845,0.0005052006,0.0004318291,0.0005652033,0.00089322,0.0003200244],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000284665,0.00006317558,0.000001021715,0.0001460245,0.00002649457,0.000001729505,0.0004727369,0.0009823443,0.00008865774,0.9243823,0.009107386,0.06469967],"study_design_scores_gemma":[0.000324111,0.0005588614,0.000006099058,0.0007521096,0.000009313125,0.00005171901,0.000004553199,0.8269649,0.001088933,0.0389526,0.1304825,0.0008043132],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000144043,0.0002043551,0.9827489,0.0007619718,0.005615371,0.001609501,0.00001086861,0.001375143,0.007529847],"genre_scores_gemma":[0.05306017,0.0002223173,0.9410749,0.0003317245,0.001351102,0.001587784,0.00002036837,0.000170661,0.002180984],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8854297,"threshold_uncertainty_score":0.9994512,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01453162127252529,"score_gpt":0.3218465612347951,"score_spread":0.3073149399622698,"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."}}