ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

Extending the Isabelle Insider and Infrastructure framework by Generative AI using Formal Refinement and Semi-formal Prompt Refinement in Claude Code

Time: Sunday, 25.10

Room: Room 2

Authors: Florian Kammueller