Imandra Inc.
Share
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:
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
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...
Click here to claim your Sponsored Listing.
Category
Contact the business
Telephone
Website
Address
515 Congress Avenue
Austin, TX
78701