A language of logic

This talk demonstrates integrating LLMs with proof solvers for logical tasks and calculations, ensuring explainability for users.

Overview

We’re integrating LLMs with mathematical proof solvers/constrain optimizers to allow our LLM driven system to carry out specific logical tasks and calculations while maintaining explainability for the user.

Tech stack