{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008981409,0.00173595,0.001475692,0.002089089,0.001156714,0.007613647,0.003215529,0.002585178,0.08034943],"category_scores_gemma":[0.0107609,0.0008336898,0.002747084,0.001391034,0.002403255,0.005785348,0.003953493,0.005935642,0.02433034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002766964,"about_ca_system_score_gemma":0.003376675,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002376402,"about_ca_topic_score_gemma":0.001957528,"domain_scores_codex":[0.9931955,0.002477279,0.0007453207,0.0009257342,0.002300207,0.0003558467],"domain_scores_gemma":[0.9942591,0.002626985,0.0001743831,0.001326798,0.001257305,0.0003554802],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001545571,0.0001486156,0.0003929029,0.001120121,0.0001435295,0.0002680601,0.001093721,0.003512862,0.002608402,0.3339064,0.3091015,0.3475493],"study_design_scores_gemma":[0.0000207967,0.0000404939,0.0001720811,0.0004212979,0.00002433877,0.0002518606,0.00008418433,0.002432478,0.0007188691,0.06837271,0.9274419,0.0000191958],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002471089,0.04463758,0.7179848,0.01673068,0.02676211,0.0005362025,0.002400753,0.005365472,0.1831114],"genre_scores_gemma":[0.05268915,0.03588662,0.4998173,0.005794328,0.008783291,0.001355265,0.01111527,0.00479466,0.3797641],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.08034943,"threshold_uncertainty_score":0.2687956,"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."}}