@inproceedings{Beckert24,
author="Beckert, Bernhard
and Klamroth, Jonas
and Pfeifer, Wolfram
and R{\"o}per, Patrick
and Teuber, Samuel",
editor="Margaria, Tiziana
and Steffen, Bernhard",
title="Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification",
booktitle="Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies",
year="2025",
publisher="Springer Nature Switzerland",
address="Cham",
pages="242--257",
isbn="978-3-031-75387-9",
url={https://doi.org/10.1007/978-3-031-75387-9_15},
doi={10.1007/978-3-031-75387-9_15},
}