Search Results for author:
Found 3 papers, 0 papers with code
Automating change of representation for proofs in discrete mathematics
We give a brief overview of a general theory of transformations that we consider appropriate for thinking about the matter, and we explain how it relates to the Transfer package.
Towards Automated Proof Strategy Generalisation
The ability to automatically generalise (interactive) proofs and use such generalisations to discharge related conjectures is a very hard problem which remains unsolved.
Machine Learning in Proof General: Interfacing Interfaces
We present ML4PG - a machine learning extension for Proof General.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
