A Gentle Intro to ImandraX and CodeLogician by Denis Ignatovich
04 Jun 2025news video
Imandra Inc. Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents with Logical Reasoning
04 Jun 2025news article
Structured Generation presented by Dr. Kostya Kanishev of Imandra
26 May 2025news video
First steps with ImandraX
8 May 2025blog
Interview Series - Denis Ignatovich
3 Apr 2025news
Imandra Launches CodeLogician: AI for Math Code Reasoning
26 Mar 2025news
Siliconangle.com - Imandra Unveils CodeLogician
26 Mar 2025news
Yahoo.com - Imandra Unveils CodeLogician
26 Mar 2025news
Imandra Unveils CodeLogician: A Groundbreaking Neurosymbolic AI Agent for Mathematical Code Reasoning
26 Mar 2025news
The wave breaking down AI in investing and trading.
17 Mar 2025news video
Imandra Inc. Advances Neurosymbolic AI Reasoning with ImandraX Release
25 Feb 2025news
The start of a new AI paradigm
10 Feb 2025news
Observer: AI Knowledge Work in the wake of DeepSeek R1
06 Feb 2025news
Imandra Universe Waitlist is open for application
20 Jan 2025news
Imandra Appoints Zehra Akbar as Chief Operating Officer
30 Jul 2024news blog
Interview with Paul Brennan at TradeTech, Paris 2024
15 Jul 2024news video
Imandra wins the A-Team Innovation Award
01 May 2024news
Imandra launches AI assistant for FIX Connectivity
22 April 2024news
Imandra Presentation & Demo for OMG Formal Methods Working Group
1 March 2024news video
Press Release: Imandra awarded ISO 27001 certification
29 February 2024news blog
Press Release: Imandra Gains Significant Traction across European Exchanges
22 February 2024news
An Introduction to Imandra Markets
20 February 2024news blog
AI and digital twins
15 February 2024news
Automated Reasoning for SysML v2 Part 3
28 November 2023news blog
Automated Reasoning for SysML v2 with Jamie Smith
21 November 2023news video
Automated Reasoning for SysML v2 Part 2
2 November 2023news blog
Automated Reasoning for SysML v2 Part 1
7 August 2023news blog
Imandra: automated reasoning for LLMs
7 July 2023news video
OMG approves SysML v2, beta specifications
10 July 2023news
Interview with Imandra at TradeTech 2023
6 July 2023news video
Jamie Smith with Imandra talking about Digital Twins and insights at OMG's Quarterly Meeting.
30 May 2023news video
At FIXEMEA2023 we discussed how Imandra's AI can improve exchange resiliency.
13 Apr 2023news video
Imandra is delighted to be a sponsor of the Plato Technology Summit.
16 Jan 2023video
Automated reasoning, a new paradigm in certification and onboarding.
8 July 2021news video
Itiviti partners with Imandra to speed FIX onboarding.
27 January 2021news video
World Economic Forum report on AI in the Financial Services highlights Imandra's leadership
15 September 2020news
Analysing Machine Learning Models with Imandra
27 September 2019news
Analysing Machine Learning Models with Imandra
27 September 2019news
PyIDF: Diversity of experiences in Reinforcement Learning
13 September 2019blog
Imandra Explains “Black-Box” Financial Algos
20 June 2019news
Describing Algorithms: Introduction
14 June 2019blog
Imandra raises $5M for tech to police other computer programs
18 April 2019news
Constraint solving your UIs
5 February 2019blog
Introducing Verified React
7 January 2019blog
Probabilistic reasoning in ReasonML
26 October 2018blog
Verifying ReasonReact component logic — ReasonML & Imandra
4 September 2018blog
Machine Reasonable Design with Imandra
22 August 2018blog
Imandra interface to Robot OS: Part I
7 august 2018blog
Scalable Deep Symbolic Reinforcement Learning with Imandra
31 July 2018blog
Powering Documentation with Jupyter Notebooks
26 July 2018blog
Creating safe robots with Imandra
10 July 2018blog
Formalising the FIX Protocol in Imandra
21 June 2018blog
Analysis of the WGC Exchange using the Imandra Protocol Language
26 April 2018blog
Machine Reasonable APIs and the public launch of Imandra Protocol Language
5 April 2018blog
The IEX Auction: Pursuing Greater Clarity
11 January 2018blog
Industry Looks to Formalize FIX Ecosystem
24 April 2018news
Release of Imandra EVM: A formal model of the Ethereum Virtual Machine
31 October 2016news
Formal Verification Platform for Blockchain-Based Smart Contracts
27 September 2016news
Google’s Schindler Invests in UK Automated Reasoning Startup
13 August 2016news
AI Submits Reg AT Comment Letter
16 March 2016news
Intel’s Pentium Bug Fix Is Proposed as Solution for Dark Pools
4 March 2016news
AI Submits Reg ATS-N Comment Letter
1 March 2015news
Financial Industry Looks to Automated Reasoning
17 December 2015news
UBS Future of Finance Challenge: Monocle 24 Radio
13 December 2015news
UBS crowns winners in Future of Finance competition
11 December 2015news
AI wins UBS Future of Finance Challenge
11 December 2015news blog
AI Submits IEX Comment Letter
18 November 2015news
AI is a Regional Finalist of The UBS Future of Finance Challenge
25 October 2015news
UBS Future Of Finance Regional Finals
17 October 2015news
Case Study: 2015 SEC Fine Against UBS ATS
12 October 2015white-papers
Market stress puts focus on high-speed technology
6 October 2015news
Dark pools back in the dock as regulators scrutinise ITG
12 October 2015news
Transparent Order Priority and Pricing
8 August 2015white-papers
Creating Safe and Fair Markets
2 April 2015white-papers
The year the Flash Boys came into the firing line
17 December 2014news
Rethinking exchange reliability
14 November 2014news