Bologna, Italy – Researcher Dennis Gross from MARS partner Simula Research Laboratory presented the paper “Verifying Memoryless Sequential Decision-making of Large Language Models” – at the OVERLAY workshop on the 26th of October during the 28th European Conference on Artificial Intelligence.
The 7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
This workshop was the main official initiative supported by the OVERLAY group. The OVERLAY group (acronym for fOrmal VERification, Logic,
Automata, and sYnthesis) fosters the collaboration among a diverse team of Italian researchers in the fields of Formal Methods and Artificial Intelligence, aiming at pursuing multidisciplinary research at the border of the two fields.
The workshop aimed at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.
Important goals of the workshop were (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges.