Media
Articles, videos, and other resources about CodeLogician and logic-first AI, grouped by type.
Research
Articles
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.
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 Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents
Imandra launches Imandra Universe — a unified platform bringing neurosymbolic AI and logical reasoning to software development teams at scale.
Videos
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.
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.
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.
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.
A Gentle Intro to ImandraX and CodeLogician
Denis Ignatovich (Co-Founder, Imandra) walks through the core ideas behind ImandraX and CodeLogician — how automated reasoning integrates with AI coding agents.
Imandra CodeLogician x Cursor Demo
A short demo of using CodeLogician with Cursor for logic-aware code analysis and verification.
Structured Generation presented by Dr. Kostya Kanishev of Imandra
Dr. Kostya Kanishev presents on structured generation and formal reasoning at Imandra.