Machine Learning for Automated Theorem Proving
Lead Research Organisation:
University of Cambridge
Abstract
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.
Organisations
People |
ORCID iD |
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. |