{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","scholarly_communication","open_science","research_integrity","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.01153885,0.001236944,0.001413981,0.002792978,0.0007163113,0.002218344,0.006568827,0.0007906751,0.0002272708],"category_scores_gemma":[0.001473223,0.001147815,0.0003729652,0.004010168,0.002857183,0.001513716,0.00189366,0.00289244,0.000947257],"about_ca_system_candidate":true,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006142966,"about_ca_system_score_gemma":0.002605882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004167165,"about_ca_topic_score_gemma":4.208841e-7,"domain_scores_codex":[0.9894533,0.00005900093,0.001503563,0.003181302,0.001688224,0.004114578],"domain_scores_gemma":[0.9956558,0.0008666338,0.0008291947,0.0004096674,0.001820806,0.000417935],"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.0004994364,0.0002552675,0.000003841196,0.000373967,0.00009068417,9.872514e-7,0.0004160918,0.0003451277,0.0004375708,0.947323,0.03103678,0.01921722],"study_design_scores_gemma":[0.001855938,0.00128175,0.00001197903,0.003124651,0.00009604672,0.0001177686,0.0001218219,0.7129864,0.004487664,0.06756755,0.2065322,0.001816281],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009897833,0.001018843,0.6664479,0.001067958,0.0105077,0.005006789,0.0001082864,0.0005293976,0.3143233],"genre_scores_gemma":[0.8388262,0.0002943823,0.1229476,0.001227572,0.004775856,0.0038951,0.0001678706,0.0005274389,0.02733794],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8797555,"threshold_uncertainty_score":0.9998565,"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."}}