Archive of stories published by Imandra Inc.

Homepage

Open in app

All

Dave Aitken in Imandra Inc.

Jul 25, 2018

Powering Documentation with Jupyter Notebooks

We recently launched our new docs site for Imandra, which is backed by Jupyter…

1 response

Dave Aitken in Imandra Inc.

Jan 6, 2019

Introducing Verified React

Automated reasoning for ReasonReact

Jamie Smith in Imandra Inc.

Aug 6, 2023

Automated Reasoning for SysML v2

Version 2 of SysML represents a significant advance over version 1 and is aimed to address numerous…

1 response

Kostya Kanishev in Imandra Inc.

Jun 19, 2018

Formalising the FIX Protocol in Imandra

Financial markets run on many distributed systems – interconnected with multiple…

2 responses

Denis Ignatovich in Imandra Inc.

Apr 4, 2018

Machine Reasonable APIs and Regulations

Our world runs on many distributed systems. This is especially true of financial markets –…

Nicola Mometto in Imandra Inc.

Jul 30, 2018

Scalable Deep Symbolic Reinforcement Learning with Imandra: Part I

Combining statistical (e.g. neural networks) and classical “symbolic” AI has long interested AI researchers and has seen some very interesting recent results.

Dave Aitken in Imandra Inc.

Mar 7, 2019

Exploring The Apple FaceTime Bug with ReasonML State Machines

Lewis Hammond in Imandra Inc.

Sep 26, 2019

Analysing Machine Learning Models with Imandra

Formal verification meets machine learning with…

Dave Aitken in Imandra Inc.

Sep 10, 2018

Verifying ReasonReact component logic — ReasonML & Imandra

Denis Ignatovich in Imandra Inc.

Jun 14, 2019

Describing Algorithms: Introduction

Symbolic AI for algorithm state-space exploration

These were the top 10 stories published by Imandra Inc.; you can also dive into yearly archives: 2017, 2018, 2019, 2023, and 2024.

About

Imandra Inc.

Reasoning as a Service @ www.imandra.ai

More information