ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification

Time: Sunday, 27.10

Room: Room 3

Authors: B. Beckert, J. Klamroth, W. Pfeifer, P. Roper, S. Teuber

Abstract: