Machine Learning for Automated Theorem Proving

Lead Research Organisation: University of Cambridge


Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.




10 25 50

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/N509620/1 30/09/2016 29/09/2022
1788755 Studentship EP/N509620/1 30/09/2016 30/03/2020
Description We have published work that shows how machine learning can be used to optimise SMT solvers. Such solver are actively used in industry for safety and security of engineered systems. Our contributions should eventually materialise in society as improvements in safety and security of computer systems and other manufactured products.