Towards Provable AI: The Role of Formal Methods in Natural Language Understanding

Exploring how Large Language Models can bridge the gap between informal text and formal verification