Ewen Maclean | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Joseph Corneli
8 publications
Simon Cruanes
3 publications
Gudmund Grov
3 publications
Elijah Kagan
1 publication
Kostya Kanishev
1 publication
Nicola Mometto
1 publication
Grant Olney Passmore
1 publication
Denis Ignatovich
1 publication
Dave Aitken
1 publication
Matt Bray
1 publication

research

∙ 04/21/2020

The Imandra Automated Reasoning System (system description)

We describe Imandra, a modern computational logic theorem prover designe...

0 Grant Olney Passmore, et al. ∙

research

∙ 01/31/2015

The Search for Computational Intelligence

We define and explore in simulation several rules for the local evolutio...

0 Joseph Corneli, et al. ∙

research

∙ 03/12/2013

Towards Automated Proof Strategy Generalisation

The ability to automatically generalise (interactive) proofs and use suc...

0 Gudmund Grov, et al. ∙