{"id":"W7106013273","doi":"10.48550/arxiv.2511.13245","title":"Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems","year":2025,"lang":"","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.004380253,0.0008733353,0.0009048211,0.001131936,0.0006755502,0.0007977105,0.005848497,0.000948996,0.000033037],"category_scores_gemma":[0.0008527676,0.001074565,0.0006991258,0.001482149,0.0002486849,0.002059088,0.00338214,0.001324341,0.00005722928],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00183259,"about_ca_system_score_gemma":0.0006266481,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004707825,"about_ca_topic_score_gemma":0.000001829117,"domain_scores_codex":[0.9944065,0.000410417,0.001103927,0.002774126,0.0002516638,0.001053375],"domain_scores_gemma":[0.9945502,0.0008202569,0.001468941,0.001480958,0.001344526,0.0003351382],"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.0003897617,0.0002413917,0.000185904,0.0005250644,0.0003062291,0.000008800469,0.0005882492,0.1718199,0.00002628725,0.7808739,0.0002400822,0.04479442],"study_design_scores_gemma":[0.001001757,0.0001999551,0.0002237299,0.0007928437,0.000211844,0.00001195857,0.0004799561,0.9497296,0.0004889455,0.01348208,0.03247264,0.0009046665],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002556321,0.00008236263,0.9579739,0.000183525,0.01277378,0.002465967,0.00008772479,0.0003658812,0.02351051],"genre_scores_gemma":[0.3984826,0.0002655193,0.5747815,0.0001763931,0.0004787958,0.00005866797,0.00004453854,0.000044588,0.02566745],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7779097,"threshold_uncertainty_score":0.9995303,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1358241543724429,"score_gpt":0.2971643822732,"score_spread":0.1613402279007571,"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."}}