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

@inproceedings{BeckertKlamrothPfeifer2024_1000175321,
    author          = {Bernhard Beckert and Jonas Klamroth and Wolfram Pfeifer and
                       Patrick Röper and Samuel Teuber},
    year            = {2024},
    month           = {oct},
    title           = {Towards Combining the Cognitive Abilities of Large Language
                       Models with the Rigor of Deductive Progam Verification},
    eventtitle      = {12th International Symposium On Leveraging Applications of
                       Formal Methods, Verification and Validation},
    eventtitleaddon = {ISoLA 2024},
    eventdate       = {2024-10-27/2024-10-31},
    venue           = {Crete, Greece},
    booktitle       = {12th International Symposium on Leveraging Applications of
                       Formal Methods, Verification and Validation (ISoLA 2024).
                       Software Engineering Methodologies},
    publisher       = {Springer}
}