From the 1 of 18 linked papers with an AI index.
87 citations · 187 across the 15 of their papers we have counts for
18 papers
Repairing LLM-Generated Specifications with Deterministic Diagnosis
Giovanni Vaccarino, Emanuele La Malfa, Dehai Min +6
Large language models (LLMs) are increasingly used as formalizers: given a reasoning problem expressed in natural language, they produce a formal specification that a symbolic solv…
Procedural Generation of First Person Shooter Maps using Map-Elites
Simone de Donato, Pier Luca Lanzi, Daniele Loiacono
We investigate the application of MAP-Elites (a well-known quality diversity algorithm) to design levels for First-Person Shooter (FPS) games. We consider two well-known map repres…
An Approach to Analyze Niche Evolution in XCS Models
Pier Luca Lanzi
We present an approach to identify and track the evolution of niches in XCS that can be applied to any XCS model and any problem. It exploits the underlying principles of the evolu…
Physics Playground: Insights from a Qualitative-Quantitative Study about VR-Based Learning
Elena Battipede, Antonella Giangualano, Paolo Boffi +8
Physics Playground is an immersive Virtual Reality (VR) application designed for educational purposes, featuring a virtual laboratory where users interact with various physics phen…
A Gamified Framework to Assist Therapists with the ABA Therapy for Autism
Matteo Cordioli, Laura Delfino, Alessia Romani +2
We present a framework to assist therapists and children with autism spectrum disorder in their Applied Behavioral Analysis (ABA) therapy. The framework was designed in collaborati…
A Tool for the Procedural Generation of Shaders using Interactive Evolutionary Algorithms
Elio Sasso, Daniele Loiacono, Pier Luca Lanzi
We present a tool for exploring the design space of shaders using an interactive evolutionary algorithm integrated with the Unity editor, a well-known commercial tool for video gam…