6 citations · 9 across the 3 of their papers we have counts for
4 papers
The Imandra Automated Reasoning System (system description)
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich +6
We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-M…
The Search for Computational Intelligence
Joseph Corneli, Ewen Maclean
We define and explore in simulation several rules for the local evolution of generative rules for 1D and 2D cellular automata. Our implementation uses strategies from conceptual bl…
Proof-Pattern Recognition and Lemma Discovery in ACL2
Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson +1
We present a novel technique for combining statistical machine learning for proof-pattern recognition with symbolic methods for lemma discovery. The resulting tool, ACL2(ml), gathe…
Towards Automated Proof Strategy Generalisation
Gudmund Grov, Ewen Maclean
The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved. Here, we d…