Imandra: Automated Reasoning for LLMs

LLMs have fundamental flaws leading to hallucinations, lack of explainability and scalability to unseen scenarios. With Imandra, we can teach LLMs to build logical mental models and reason about them, allowing us to build competent AI systems we can deploy in the enterprise.

VIDEO CHAPTERS
0:00 Imandra Inc. presents
0:20 What does it take to make competent AI systems?
2:47 How do LLMs work?
3:52 Imagine LLMs could actually "think"
4:48 Automated Reasoning
6:11 OCaml
6:59 Reasoning with Imandra
8:01 What does it take to make competent AI systems?
8:20 Demo

Скачать видео