{"id":"W4416298600","doi":"10.4204/eptcs.436","title":"Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems","year":2025,"lang":"en","type":"paratext","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Publication; Formal methods; Work (physics); International community","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.009295497,0.001688657,0.001396962,0.001715901,0.001077359,0.006751938,0.003384295,0.002549494,0.06648491],"category_scores_gemma":[0.01109495,0.0008606649,0.002652697,0.0012475,0.002500783,0.005960413,0.003687437,0.006566408,0.02385159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002723013,"about_ca_system_score_gemma":0.003505693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002639757,"about_ca_topic_score_gemma":0.002207665,"domain_scores_codex":[0.9929898,0.002551412,0.0007811564,0.0009291184,0.002396243,0.0003523361],"domain_scores_gemma":[0.994132,0.002697875,0.0001603068,0.001320216,0.001341822,0.0003477984],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000155581,0.0001541447,0.0004396055,0.001069863,0.0001513124,0.0002497571,0.0009599769,0.003304021,0.002424917,0.3153458,0.3684277,0.3073173],"study_design_scores_gemma":[0.00002323531,0.00003546697,0.0001846317,0.0003951434,0.00002607811,0.0002266601,0.00008770269,0.002725626,0.0006644977,0.07223841,0.923374,0.00001849642],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002343181,0.04032512,0.7297508,0.02125517,0.03108974,0.0005611226,0.00258594,0.005221564,0.1668673],"genre_scores_gemma":[0.04881614,0.03621147,0.5039343,0.007183371,0.01198398,0.001400588,0.01307383,0.005233847,0.3721625],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.06648491,"threshold_uncertainty_score":0.2224142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01242770762559302,"score_gpt":0.343675594728961,"score_spread":0.3312478871033679,"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."}}