87 citations · 187 across the 15 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AI2026
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…
cs.AI2026
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…