Imandra

OpenAI's Codex Meets Region Decomposition with ImandraX

Imandra

Rigorous Edge-Case Detection for AI-Generated Code - Imandra + Gemini + Antigravity Demo

Imandra

CodeLogician in the Real World Bank Accounts & Margin Trading

Imandra

Get Started with CodeLogician Install, Configure & Use Formal Verification with Claude Code

Imandra

Getting started with ImandraX The Verification Workflow

Imandra

Formal AI Reasoning with ImandraX & CodeLogician Session 1 of AI Reasoning Weekly

Imandra

Imandra CodeLogician & Neurosymbolic AI Logic-first Code Reasoning with Imandra and LLMs

Imandra

Proving Compliance Using Logic-Based AI Reasoning to Analyze GDPR with Imandra

Imandra

M&A Term Sheet Analysis with Imandra CodeLogician and Claude

Imandra

Imandra CodeLogician & Cursor A Finance Case Study

Imandra

A Gentle Intro to ImandraX and CodeLogician

Imandra

Structured Generation presented by Dr. Kostya Kanishev of Imandra

Imandra

Imandra CodeLogician x Cursor Demo

Imandra

Imandra Connectivity's Trace Visualizer Demo (Full Version)

Imandra

Imandra Connectivity's Trace Visualizer Demo (Short)

Imandra

Imandra SysML v2 Demo

Imandra

Imandra Automated Reasoning for LLMs

Imandra