Itay Cohen 0001, Doron Peled. LLM-Based Scheme for Synthesis of Formal Verification Algorithms. In Bernhard Steffen, editor, Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings. Volume 15217 of Lecture Notes in Computer Science, pages 167-182, Springer, 2024. [doi]
Abstract is missing.