On the Use of LLMs to Explain Model Checking Counterexamples.

Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos

Browse the full EICS paper archive.