Denis IgnatovichinImandra Inc.Describing Algorithms: IntroductionSymbolic AI for algorithm state-space explorationJun 14, 2019Jun 14, 2019
Denis IgnatovichinImandra Inc.Machine Reasonable Design with ImandraOn July 19th the US Securities and Exchange Commission approved changes to the 20-year old Reg ATS, bringing greater transparency to US…Aug 22, 2018Aug 22, 2018
Denis IgnatovichinImandra Inc.Machine Reasonable APIs and RegulationsOur world runs on many distributed systems. This is especially true of financial markets – an industry plagued by expensive inefficiencies…Apr 5, 2018Apr 5, 2018