Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. - Bernhard Beckert; Jonas Klamroth; Wolfram Pfeifer; Patrick Röper; Samuel Teuber (ISoLA (4), 2024)