Members-Only
Recent Talks & Demos are for members only
You must be an AI Tinkerers active member to view these talks and demos.
April 16, 2026
·
Cologne
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