Kusper, Gábor (2026) Baseline review of Formal Methods and Foundations of Artificial Intelligence Annales Mathematicae et Informaticae. 63. pp. 65-72.
![[thumbnail of 65_72.pdf]](http://publikacio.uni-eszterhazy.hu/style/images/fileicons/text.png) |
pdf
65_72.pdf Download (406kB) [error in script] |
Absztrakt (kivonat)
Artificial Intelligence (AI) is advancing rapidly, yet many successful models remain opaque and provide limited assurance about reliability, safety, and failure modes. This motivates renewed interest in formal methods and foundational perspectives that can support trustworthy AI beyond empirical testing. This paper presents a baseline review of the selected papers volume of the inaugural International Conference on Formal Methods and Foundations of Artificial Intelligence (FMF-AI 2025), published as Annales Mathematicae et Informaticae, Vol. 61 (2025). The goal is twofold: (i) to map and summarize the first FMF-AI “snapshot” as a starting point for the Hungarian research ecosystem, and (ii) to define a reproducible baseline that can serve as a reference for measuring topical and methodological shifts in subsequent FMF-AI editions. The review clusters the twenty selected papers into five thematic groups and records their relative prevalence. In addition, it introduces simple baseline metrics that can be recomputed in future FMF-AI editions to observe structural changes in the research landscape. The main pattern is a clear imbalance between verification-oriented contributions and papers that primarily use AI methods in application or optimization contexts.
| Mű típusa: | Folyóiratcikk - Journal article |
|---|---|
| Szerző: | Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Kusper, Gábor NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző |
| Kapcsolódó URL-ek: | |
| Kulcsszavak: | FMF-AI, baseline review, Formal Methods and Foundations of Artificial Intelligence |
| Nyelv: | angol |
| Kötetszám: | 63. |
| DOI azonosító: | 10.33039/ami.2026.06.006 |
| Felhasználó: | Tibor Gál |
| Dátum: | 20 Júl 2026 07:17 |
| Utolsó módosítás: | 20 Júl 2026 07:17 |
| URI: | http://publikacio.uni-eszterhazy.hu/id/eprint/9295 |
 |
Tétel nézet |
