{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009613955,0.001643404,0.001482815,0.001796321,0.001057315,0.006378881,0.003295326,0.002519897,0.06325261],"category_scores_gemma":[0.0119241,0.0009266898,0.003060437,0.001105354,0.002473947,0.005402865,0.004083756,0.006942154,0.02165341],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00279206,"about_ca_system_score_gemma":0.0036498,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002486013,"about_ca_topic_score_gemma":0.002007474,"domain_scores_codex":[0.9931039,0.002316717,0.0007725575,0.001022724,0.002390884,0.0003932271],"domain_scores_gemma":[0.9938099,0.002683735,0.0001639747,0.001451182,0.001516666,0.000374608],"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.0001850151,0.0001692535,0.0005382636,0.001155437,0.0001922098,0.0002850179,0.001017938,0.003778323,0.003278095,0.3277641,0.3364456,0.3251907],"study_design_scores_gemma":[0.0000264802,0.00004341769,0.0002363817,0.0004645733,0.00003367214,0.000272519,0.00009144652,0.003261928,0.0008993537,0.08806262,0.9065852,0.00002253529],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.002765987,0.04214901,0.7453119,0.01898548,0.03713351,0.0005411381,0.002353156,0.005254456,0.1455055],"genre_scores_gemma":[0.06343617,0.03761184,0.5309917,0.007781074,0.0144626,0.001376689,0.01264035,0.005884648,0.325815],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.06325261,"threshold_uncertainty_score":0.2116011,"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."}}