Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems

• URL: http://arxiv.org/abs/2511.13245v1
• Date: Mon, 17 Nov 2025 11:07:57 GMT
• Title: Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
• Abstract summary: FMAS 2025 was co-located with the 20th International Conference on integrated Formal Methods (iFM'25)<n>In total, FMAS 2025 received 16 submissions from researchers at institutions in: Canada, China, France, Germany, Ireland, Italy, Japan, the Netherlands, Portugal, Sweden, the United States of America, and the United Kingdom.
• Score: 4.6150442050376155
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of November 2025. The goal of the FMAS workshop series is to bring together leading researchers who are using formal methods to tackle the unique challenges that autonomous systems present, so that they can publish and discuss their work with a growing community of researchers. FMAS 2025 was co-located with the 20th International Conference on integrated Formal Methods (iFM'25), hosted by Inria Paris, France at the Inria Paris Center. In total, FMAS 2025 received 16 submissions from researchers at institutions in: Canada, China, France, Germany, Ireland, Italy, Japan, the Netherlands, Portugal, Sweden, the United States of America, and the United Kingdom. Though we received fewer submissions than last year, we are encouraged to see the submissions being sent from a wide range of countries. Submissions come from both past and new FMAS authors, which shows us that the existing community appreciates the network that FMAS has built over the past 7 years, while new authors also show the FMAS community's great potential of growth.

Related papers

• ResearchClawBench: A Benchmark for End-to-End Autonomous Scientific Research [142.29356526274387]
  We present ResearchClawBench, a benchmark for evaluating autonomous scientific research.<n>Each task is grounded in a real published paper, provides related literature and raw data, and hides the target paper during evaluation.
  arXiv  Detail & Related papers  (2026-05-28T16:27:40Z)
• Paper Espresso: From Paper Overload to Research Insight [53.45135239997754]
  We present Paper Espresso, an open-source platform that automatically discovers, summarizes, and analyzes trending arXiv papers.<n>The system uses large language models (LLMs) to generate structured summaries with topical labels and keywords.<n>Over 35 months of continuous deployment, Paper Espresso has processed over 13,300 papers and publicly released all structured metadata.
  arXiv  Detail & Related papers  (2026-04-06T09:45:21Z)
• MARS2 2025 Challenge on Multimodal Reasoning: Datasets, Methods, Results, Discussion, and Outlook [189.05958429386286]
  This paper reviews the MARS2 2025 Challenge on Multimodal Reasoning.<n>We aim to bring together different approaches in multimodal machine learning and LLMs via a large benchmark.<n>This year's MARS2 focuses on real-world and specialized scenarios to broaden the multimodal reasoning applications of MLLMs.
  arXiv  Detail & Related papers  (2025-09-17T16:21:34Z)
• Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry [68.97388926441971]
  We present the outcomes from the second Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry.<n>The event engaged participants across global hybrid locations, resulting in 34 team submissions.<n>The submissions spanned seven key application areas and demonstrated the diverse utility of LLMs for applications.
  arXiv  Detail & Related papers  (2024-11-20T23:08:01Z)
• Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems [0.5633692733812872]
  This volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024) FMAS 2024 was co-located with 19th International Conference on integrated Formal Methods (iFM'24), hosted by the University of Manchester in the United Kingdom.
  arXiv  Detail & Related papers  (2024-11-20T11:21:22Z)
• Enabling the Digital Democratic Revival: A Research Program for Digital Democracy [68.02254954746476]
  This white paper outlines a long-term scientific vision for the development of digital-democracy technology. It arose from the Lorentz Center Workshop on Algorithmic Technology for Democracy'' (Leiden, October 2022)
  arXiv  Detail & Related papers  (2024-01-30T10:12:49Z)
• Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems [0.0]
  FMAS 2023 was co-located with 18th International Conference on integrated Formal Methods (iFM'22) The workshop itself was held at Scheltema Leiden, a renovated 19th Century blanket factory alongside the canal.
  arXiv  Detail & Related papers  (2023-11-15T14:20:56Z)
• MER 2023: Multi-label Learning, Modality Robustness, and Semi-Supervised Learning [90.17500229142755]
  The first Multimodal Emotion Recognition Challenge (MER 2023) was successfully held at ACM Multimedia. This paper introduces the motivation behind this challenge, describe the benchmark dataset, and provide some statistics about participants. We believe this high-quality dataset can become a new benchmark in multimodal emotion recognition, especially for the Chinese research community.
  arXiv  Detail & Related papers  (2023-04-18T13:23:42Z)
• Proceedings 11th International Workshop on Theorem Proving Components for Educational Software [0.0]
  ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education. ThEdu'22 was a vibrant workshop, with two invited talk by Thierry Dana-Picard and Yoni Zohar. The resulting revised papers are collected in the present volume.
  arXiv  Detail & Related papers  (2023-03-09T16:10:13Z)
• I4U System Description for NIST SRE'20 CTS Challenge [87.17861348484455]
  This manuscript describes the I4U submission to the 2020 NIST Speaker Recognition Evaluation (SRE'20) Conversational Telephone Speech (CTS) Challenge. The I4U's submission was resulted from active collaboration among eight research teams. The submission was based on the fusion of top performing sub-systems and sub-fusion systems contributed by individual teams.
  arXiv  Detail & Related papers  (2022-11-02T13:04:27Z)
• Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) [0.0]
  Fourth international workshop on Formal Methods for Autonomous Systems (FMAS 2022) Fourth international workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2022) Held in conjunction with 20th International Conference on Software Engineering and Formal Methods (SEFM'22), at Humboldt University in Berlin.
  arXiv  Detail & Related papers  (2022-09-27T06:40:10Z)
• Overview of the Shared Task on Fake News Detection in Urdu at FIRE 2021 [55.41644538483948]
  The goal of the shared task is to motivate the community to come up with efficient methods for solving this vital problem. The training set contains 1300 annotated news articles -- 750 real news, 550 fake news, while the testing set contains 300 news articles -- 200 real, 100 fake news. The best performing system obtained an F1-macro score of 0.679, which is lower than the past year's best result of 0.907 F1-macro.
  arXiv  Detail & Related papers  (2022-07-11T18:58:36Z)
• Proceedings Third Workshop on Formal Methods for Autonomous Systems [0.0]
  This EPTCS volume contains the proceedings for the third workshop on Formal Methods for Autonomous Systems (FMAS 2021) FMAS 2021 was an online, stand-alone event, as an adaptation to the ongoing COVID-19 restrictions. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods.
  arXiv  Detail & Related papers  (2021-10-22T00:09:27Z)
• DFGC 2021: A DeepFake Game Competition [58.77039013470618]
  This paper presents a summary of the DFGC 2021 competition. DeepFake technology is developing fast, and realistic face-swaps are increasingly deceiving and hard to detect. This competition provides a common platform for benchmarking the adversarial game between current state-of-the-art DeepFake creation and detection methods.
  arXiv  Detail & Related papers  (2021-06-02T15:10:13Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.