Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 09:00 | LLM-Assisted Program Translation and Bounded Model Checking for Formal Verification of Python Code | Shivkumar Shivaji, Natalia Lobakhina, Klaus Havelund, Lucas Cordeiro, Alessandro Pinto |
| 09:30 | Formally Verified LLM Program Synthesis for Solidity Smart Contracts | Jonas Schiffl, Samuel Teuber, Bernhard Beckert |
| 10:00 | CASP: An evaluation dataset for formal verification of C code | Niclas Hertzberg, Merlijn Sevenhuijsen, Liv Kåreborn, Anna Lokrantz |