@inproceedings{Beckert24,
  author = {Bernhard Beckert and
            Jonas Klamroth and
            Wolfram Pfeifer and
            Patrick Röper and
            Samuel Teuber},
  title = {Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification},
  booktitle = {ISoLA 2024}, 
  OPTbooktitle = {Proceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'24)},
  editor = {T. Margaria and B. Steffen},
  publisher = {Springer},
  series = {LNCS},
  volume = {},
  year = {2024},
  pages = {},
  doi = {},
  note = {forthcoming}
}