Imandra Inc.

07/08/2023

We're thrilled to announce Imandra's integration with LLMs and GPTs, bringing rigorous automated reasoning and logical audit trails into modern AI systems. Don't miss our new explainer video on building Reasoning Skills in Imandra, and how Language, Memory and Reasoning work together to create Competent AI Systems we can trust:

09/02/2022

Appointment follows that of former chief operating officer at Goldman Sachs’ Sigma X MTF who joined Imandra in May.

09/02/2022

We couldn't be more thrilled! Welcome, Dan and Paul!

Appointment follows that of former chief operating officer at Goldman Sachs’ Sigma X MTF who joined Imandra in May.

09/14/2020

We're thrilled to be featured in The World Economic Forum's latest report on the Future of AI in Financial Services. Highly recommend this excellent (200 page) read! https://www.weforum.org/reports/forging-new-pathways-the-next-evolution-of-innovation-in-financial-services

06/18/2020

More updates on our free COVID-19 school scheduler, taking into account 'student bubbles' and 'key worker' constraints for children of essential workers -- please spread the word to any schools you know working on their COVID-19 planning!

This notebook demonstrates how to encode and solve a constraint problem of making sure all children from the same family go to school on the same day, when days at school are restricted due to COVID-19.

06/05/2020

Imandra’s artificial intelligence analyzes other artificial intelligence. Yes, you read that right. In other words, Imandra’s tech is a cloud-scale automated reasoning engine. Everyone else’s tech produces algorithms and models. Imandra takes those and interrogates them, finds biases, and ensu...

04/30/2020

04/23/2020

Hot off the arXiv press - The Imandra Automated Reasoning System! To appear in IJCAR 2020, Springer Lecture Notes in AI. Well done, Team! Many years in the making!

We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-Moore family like ACL2, and interactive proof assistants for typed higher-order logics. Imandra's logic is computational,...

04/23/2020

An exciting opportunity for researchers skilled in Imandra - RA in AI Verification at Heroit Watt University in Edinburgh!

The RA will work in the Lab for AI and Verification on the EPSRC project “AISEC: AI Secure and Explainable by Construction” (see gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T026952/1), to investigate, develop, and evaluate verification tools suitable for machine learning and AI, with appli...

01/31/2020

The Swedish tech vendor is hoping to capitalize on disruption in the OMS space by offering an automated solution for migrating FIX rules and for FIX