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

Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Rper, Samuel Teuber

Browse the full ISoLA paper archive.