Media
Articles, videos, papers, and other resources about Imandra, the Imandra Protocol Language (IPL), and logic-first AI. Use the filters to narrow by type. This list is sourced from the shared Imandra media dataset in design-studio, so it stays in sync across imandra.ai and the product sites.
BLOX Markets selects Imandra's Automated Reasoning technology to enhance Openpool Customer Onboarding and Development
BLOX Markets selects Imandra Connectivity and CodeLogician to power machine-readable connectivity, certification, and formal verification for its Openpool U.S. equities trading venue.
Scaling Logic First AI Coding to Large Projects - Part 1
Scaling logic-first AI coding to large projects with CodeLogician - Part 1.
Grant Passmore Keynote: Region Decomposition - PLSE FM AI Workshop, Georgia Tech
Grant Passmore's keynote on region decomposition at the PLSE Formal Methods for AI workshop at Georgia Tech.
Codex Meets Region Decomposition with ImandraX
Combining OpenAI Codex with ImandraX's region decomposition to reason precisely about software behavior.
Rigorous Edge-Case Detection for AI-Generated Code - Imandra + Gemini + Antigravity Demo
A live demo using Imandra with Gemini and Antigravity to rigorously detect edge cases in AI-generated code.
CodeLogician in the Real World: Bank Accounts & Margin Trading
Get Started with CodeLogician: Install, Configure & Use Formal Verification with Claude Code
Getting started with ImandraX: The Verification Workflow
A walkthrough of the ImandraX verification workflow - from defining models to proving properties and synthesizing counterexamples with the reasoning engine.
Formal AI Reasoning with ImandraX & CodeLogician | Session 1 of AI Reasoning Weekly
Grant Passmore and Denis Ignatovich introduce ImandraX, a theorem prover and proof assistant built for engineers, and CodeLogician, which plugs formal reasoning directly into AI coding agents like Claude Code.
Managing complexity with math and logic: changing Stripe payment flow with Claude and CodeLogician
How to use CodeLogician with Claude to refactor and verify a Stripe payment flow - managing complexity with formal logic and automated reasoning instead of guesswork.
Imandra CodeLogician & Neurosymbolic AI: Logic-first Code Reasoning with Imandra and LLMs
How CodeLogician combines statistical AI (LLMs) with symbolic AI (ImandraX) for logic-first code reasoning, verification, and test generation.
Proving Compliance: Using Logic-Based AI Reasoning to Analyze GDPR with Imandra
Using Imandra's logic-based reasoning to analyze and prove compliance properties for regulations such as GDPR.
Vibe Coding was phase 1. Logic-first AI is phase 2. It is here now.
How CodeLogician makes AI coding agents reason explicitly instead of guessing - the shift from probabilistic generation to structured, verifiable logic.
Imandra CodeLogician & Cursor: A Finance Case Study
Denis Ignatovich and Paul Brennan walk through a real-world banking scenario of conducting bank account analysis, showcasing how AI-assisted coding via Cursor can be augmented with automated reasoning for provably correct results.
M&A Term Sheet Analysis with Imandra CodeLogician and Claude
Denis Ignatovich and Paul Brennan build a reusable M&A advisory framework by feeding a real term sheet into Claude, then using Imandra's formal verification to mathematically prove whether critical safeguards hold.
How Formal Reasoning Extends LLM Capabilities for Software Analysis
We introduce a benchmark targeting mathematical reasoning about real software logic. Across all tested models, augmenting LLMs with formal reasoning via CodeLogician closes a 41-47 percentage point accuracy gap compared to LLM-only reasoning.
+41-47pp accuracyMeet Neurosymbolic AI: Amazon's Method for Enhancing Neural Networks
The WSJ covers the rise of neurosymbolic AI and how it addresses the fundamental limitations of purely statistical LLMs in high-stakes software domains.
A Gentle Intro to ImandraX and CodeLogician by Denis Ignatovich
Denis Ignatovich (Co-Founder, Imandra) walks through the core ideas behind ImandraX and CodeLogician - how automated reasoning integrates with AI coding agents.
Imandra Inc. Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents with Logical Reasoning
Imandra launches Imandra Universe - a unified platform bringing neurosymbolic AI and logical reasoning to software development teams at scale.
Structured Generation presented by Dr. Kostya Kanishev of Imandra
Dr. Kostya Kanishev presents on structured generation and formal reasoning at Imandra.
Imandra CodeLogician x Cursor Demo
A short demo of using CodeLogician with Cursor for logic-aware code analysis and verification.