Talks & Videos
Recorded talks, presentations, demos, and interviews about Imandra and ImandraX — spanning automated reasoning, formal verification, financial systems, AI safety, and more.
For the Imandra YouTube channel, see the full collection of videos and demos.
General Talks & Demos
Academic & Conference Talks
| Talk | Venue | Year |
|---|---|---|
Imandra Puts Reasoning into ReasonML Denis Ignatovich | ReasonLDN | 2018 |
Formal Verification for Safety and Fairness of Financial Algorithms Denis Ignatovich, Grant Passmore | Cornell CFEM Seminar | 2016 |
| SPLV 2022, Lab for AI Verification, Edinburgh | 2022 | |
| SPLV 2022, Lab for AI Verification, Edinburgh | 2022 | |
An Introduction to the Imandra Automated Reasoning System Grant Passmore | International Workshop on Satisfiability Checking and Symbolic Computation | 2021 |
Verifying Neural Networks with Imandra Remi Desmartin | YouTube | 2021 |
Keynote: An Introduction to the Imandra Automated Reasoning System Grant Passmore | ML Family Workshop, ICFP 2019 (Berlin) | 2019 |
Keynote: Formal Verification of Financial Algorithms with Imandra Grant Passmore | FMCAD 2018 (Austin) | 2018 |
Invited Talk: An Introduction to the Imandra Automated Reasoning System Grant Passmore | PADL 2020, co-located with POPL (New Orleans) | 2020 |
Ethereum & Smart Contracts
| Talk | Venue | Year |
|---|---|---|
Towards Imandra Contracts: Formal Verification for Ethereum Grant Passmore | Devcon 1 | 2015 |
Imandra Contracts: Formal Verification for Ethereum Grant Passmore | Devcon 2 | 2016 |
Introductory Films
| Video | Description | Year |
|---|---|---|
| Why you want to integrate logical reasoning into LLM-based agents. 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. | 2023 | |
| An animated introduction to formal verification and how Imandra brings it to financial markets. Produced by Aesthetic Integration (now Imandra Inc.). | 2015 |
Channels & Media
- Imandra YouTube Channel — Demos, talks, and tutorials
- Imandra Media Page — Press, interviews, and media coverage