Describing Algorithms: Introduction

Symbolic AI for algorithm state-space exploration

Denis Ignatovich
Jun 14 · 9 min read

Intuition

A screenshot of an Imandra region decomposition — visit https://try.imandra.ai/ to explore!

Why RD scales

Imandra’s support for Region Decomposition

Transforms and printers

Assumptions

Example: stock exchange pricing logic

Modeling financial venues with Imandra

What’s next

Imandra

Reasoning as a Service @ www.imandra.ai

Thanks to Grant Passmore.

Denis Ignatovich

Written by

Co-founder of Imandra (www.imandra.ai). Former head of Central Risk Trading @ DB London.

Imandra

Imandra

Reasoning as a Service @ www.imandra.ai