Miscellaneous Demo

Theorem Proving

EQP theorem prover proved a long-standing mathematical conjecture about algebra, called the Robbins Problem

Miscellaneous AI-aided applications

ARTIST ARTIST (Artificial Intelligence-aided Synthesis Tool) is an AI-aide sound design system

Decison Theory and Adaptive Systems (Microsoft)