Matthew McIlree
email: m.mcilree.1@research.gla.ac.uk
Room 502, Level 5, School of Computing Science, Sir Alywn Williams Building, University of Glasgow, Glasgow, G12 8QQ
https://orcid.org/0009-0005-5042-0876
Research title: Proof Logging for Constraint Propagation Algorithms
Research Summary
I am interested in trustworthy symbolic artificial intelligence, specifically how we can use formal arguments and mathematical proof to make A.I. techniques self-certifying. Currently, I am researching proof logging for constraint propagation algorithms, an important part of constraint programming. The idea is that, alongside a solution, a solver should produce a mathematical proof that its answer is correct, which can then be verified and audited by an external program.
Publications
List by: Type | Date
Number of items: 2.
2023
McIlree, M. J. and Mccreesh, C.
(2023)
Proof Logging for Smart Extensional Constraints.
In: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Toronto, ON, Canada, 27-31 Aug 2023,
(Accepted for Publication)
2021
Espasa, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. and Lynch, A. M.
(2021)
Towards Generic Explanations for Pen and Paper Puzzles with MUSes.
In: SICSA eXplainable Artifical Intelligence Workshop 2021, Aberdeen, United Kingdom, 1 June 2021,
pp. 56-63.
This list was generated on Mon Sep 25 13:10:21 2023 BST.
Number of items: 2.
Conference Proceedings
McIlree, M. J. and Mccreesh, C.
(2023)
Proof Logging for Smart Extensional Constraints.
In: 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Toronto, ON, Canada, 27-31 Aug 2023,
(Accepted for Publication)
Espasa, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. and Lynch, A. M.
(2021)
Towards Generic Explanations for Pen and Paper Puzzles with MUSes.
In: SICSA eXplainable Artifical Intelligence Workshop 2021, Aberdeen, United Kingdom, 1 June 2021,
pp. 56-63.
This list was generated on Mon Sep 25 13:10:21 2023 BST.