AISoLA 2025

Bridging the Gap Between AI and Reality • Rhodes, Greece

Talk

Formally Verified LLM Program Synthesis for Solidity Smart Contracts

Time: Wednesday, 5.11

Room: Room B

Authors: Jonas Schiffl, Samuel Teuber, Bernhard Beckert