@inproceedings{Beckert24,
  title           = {Towards Combining the Cognitive Abilities of Large
                     Language Models with the Rigor of Deductive Progam
                     Verification},
  author          = {Bernhard Beckert and
                     Jonas Klamroth and
                     Wolfram Pfeifer and
                     Patrick R{\"{o}}per and
                     Samuel Teuber},
  year            = {2024},
  month = {oct},
  booktitle       = {12th International Symposium on Leveraging Applications
                     of Formal Methods, Verification and Validation.
                     Software Engineering Methodologies, Part {IV}},
  eventtitleaddon = {{ISoLA}~2024},
  venue           = {Crete, Greece},
  eventdate       = {2024-10-27/2024-10-31},
  editor          = {Tiziana Margaria and
                     Bernhard Steffen},
  series          = {LNCS},
  volume          = {15222},
  pages           = {242--257},
  publisher       = {Springer},
  doi             = {10.1007/978-3-031-75387-9_15}
}