Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 16:30 | ChatGPT in the Loop - Revisited | Marco Krumrey, Daniel Busch, Bernhard Steffen |
| 17:00 | Techniques and Experiments in Retrieval-Augmented Neural Theorem Proving | Joao Ferreira |
| 17:30 | LLM-Assisted Program Correctness: Generating Lemmas, Assertions, and Repairs in Dafny | Alexandra Mendes |