International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | Optimizing LLM-Driven Code Generation and Repair via RAG and Iterative Compiler Feedback | Ankit Singh, Moez Ben HajHmida, Edward Lee |
| 15:00 | AI-Assisted Evolutionary Code Generation for Combinatorial and Optimization Problems | Veronika Semmelrock, Benedetta Strizzolo, Francesco Zuccato, Gerhard Friedrich, Patrick Rodler, Konstantin Schekotihin |
| 15:30 | Towards Automata-Based Steering of Large Language Models for Diverse Structured Generation | Meng Sun |