Selected papers of the International Conference on Formal Methods and Foundations of Artificial Intelligence

The conference was organized by Institute of Mathematics and Informatics, Eszterházy Károly Catholic University, Hungary, Eger, June 5–7, 2025

Conference Chairman: Csaba Biró (Eszterházy Károly Catholic University)
Co-chairman: Olivér Hornyák (University of Miskolc)
Chairman of the Organising Committee: Gábor Kusper (Eszterházy Károly Catholic University)
Head of the Program Committee: Gergely Kovásznai (Eszterházy Károly Catholic University)

ISSN 1787-6117 (Online)

Editorial Board Sándor Bácsó, Sonja Gorjanc, Tibor Gyimóthy, Miklós Hoffmann, József Holovács, Tibor Juhász, László Kovács, Zoltán Kovács, Gergely Kovásznai, László Kozma, Kálmán Liptai, Florian Luca, Giuseppe Mastroianni, Ferenc Mátyás, Ákos Pintér, Miklós Rontó, László Szalay, János Sztrik, Tibor Tajti, Gary Walsh Technical Editor Tibor Tómács

Content

Automated fair team formation in STEAM activities using Satisfiability Modulo Theories (SMT)
by Ali Adil Adil, Gergely Kovásznai, Mustafa Khalid
Pages: 1–14
DOI: 10.33039/ami.2025.10.001

Motion enhanced video anomaly detection using masked autoencoder and hybrid loss functions
by Mohammed Iqbal Almurumudhe, Olivér Hornyák
Pages: 15–30
DOI: 10.33039/ami.2025.10.015

An adaptive testing system for programming proficiency using Item Response Theory
by Anikó Apró, Tibor Tajti
Pages: 31–42
DOI: 10.33039/ami.2025.10.018

Artificial Intelligence for interpreting static human arm signals
by Milán Zsolt Bagladi
Pages: 43–54
DOI: 10.33039/ami.2025.10.005

Using GNN for refactoring P4 programs
by Benedek Szabolcs Csüllög, Máté Tejfel
Pages: 55–67
DOI: 10.33039/ami.2025.10.021

Artificial Intelligence based robotic applications for higher education
by Isabela Drămnesc, Erika Ábrahám, László Antal, Péter Csóka, Nikolaos Fachantidis, Tudor Jebelean, Gábor Kusper, Konstantinos Papadopoulos
Pages: 68–79
DOI: 10.33039/ami.2025.10.009

Making the boss smarter: A journey from rule-based to learned behaviors
by Réka Erdész, Ede Troll
Pages: 80–93
DOI: 10.33039/ami.2025.10.017

Multi-objective genetic and memetic algorithms in flexible flowshop scheduling
by Levente Áron Fazekas, Károly Nehéz
Pages: 94–107
DOI: 10.33039/ami.2025.10.011

Automated detection of toxic comments in Hungarian
by Péter Hatvani, Zijian Győző Yang
Pages: 108–117
DOI: 10.33039/ami.2025.10.007

Solving the Team Coordination on Graphs With Risky Edges problem for nonzero self-loop weights
by András Izsó, István Harmati
Pages: 118–128
DOI: 10.33039/ami.2025.10.008

A comparative study on the noise sensitivity of binary classification based on robust deep neural networks
by Mohammed Aad Khudhair, Attila Fazekas
Pages: 129–140
DOI: 10.33039/ami.2025.10.006

Algorithmic thinking at risk? Exploring LLM use in computer science education
by Sándor Király, Ede Troll
Pages: 141–155
DOI: 10.33039/ami.2025.10.020

AI-driven fault diagnosis from textual system logs
by Áron Kiss, Károly Nehéz, Olivér Hornyák
Pages: 156–170
DOI: 10.33039/ami.2025.10.003

Soft voting robustness in neural network ensembles with empirical analysis and formal verification
by Ádám Kovács, Roland Gunics, Gergely Kovásznai, Tibor Tajti
Pages: 171–185
DOI: 10.33039/ami.2025.10.002

We are not afraid of the wolf! – AI usage attitudes among Hungarian informatics students
by Gábor Kusper, György István Mátyás, Tamás Balla
Pages: 186–201
DOI: 10.33039/ami.2025.10.004

Evaluating profitability in sports betting using probabilistic models and betting strategies
by József Gergő Pál, Csaba Bíró
Pages: 202–214
DOI: 10.33039/ami.2025.10.016

cRAMI 4.0 an Improved Reference Architectural Model for Industrie 4.0 (RAMI 4.0) based on a three-dimensional cubic lattice model
by Ioan Sima, Daniela-Maria Cristea, Elisabeta-Mihaela Ciortea, Laszlo Barna Iantovics
Pages: 215–228
DOI: 10.33039/ami.2025.10.023

Betweenness-driven overlapping label propagation community detection
by Sylvert Prian Tahalea, Miklós Krész
Pages: 229–247
DOI: 10.33039/ami.2025.10.012

Syntactic comparison of human and AI-written scientific texts
by Erika B. Varga, Attila Baksa
Pages: 248–260
DOI: 10.33039/ami.2025.10.013

ChatPULI: Enhancement to the first Hungarian conversational model
by Zijian Győző Yang, Ágnes Bánfi, Réka Dodé, Gergő Ferenczi, Flóra Földesi, Péter Hatvani, Enikő Héja, Mariann Lengyel, Gábor Madarász, Mátyás Osváth, Bence Sárossy, Kristóf Varga, Tamás Váradi, Gábor Prószéky, Noémi Ligeti-Nagy
Pages: 261–274
DOI: 10.33039/ami.2025.10.010