Imandra Inc.
Share
The home of Reasoning as a Service®, bringing rigorous automated reasoning to modern AI systems. Imandra is the world leader in cloud-scale automated reasoning.
Learn more at www.imandra.ai.
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
Liquidnet EMEA business development head departs for AI fintech Imandra - The TRADE 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!
Liquidnet EMEA business development head departs for AI fintech Imandra - The TRADE 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!
Imandra Documentation - Scheduling smaller class sizes during Covid 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: AI that helps the government analyze... AI 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/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!
The Imandra Automated Reasoning System (system description) 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!
Research Assistant/Associate in AI Verification at Heriot-Watt University 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
Itiviti Automates FIX Connectivity Ahead of Possible "Connectivity Crunch" - WatersTechnology.com 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
Click here to claim your Sponsored Listing.
Category
Contact the business
Telephone
Website
Address
515 Congress Avenue
Austin, TX
78701