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
2024
McIlree, Matthew and McCreesh, Ciaran 
ORCID: https://orcid.org/0000-0002-6106-4871
(2024)
Certifying Bounds Propagation for Integer Multiplication Constraints.
In: 39th Annual AAAI Conference on Artificial Intelligence (AAAI’25), Philadelphia, Pennsylvania, USA, 25 February – 4 March 2025,
(Accepted for Publication)
Demirović, Emir, Mccreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871, McIlree, Matthew, Nordström, Jakob, Oertel, Andy and Sidorov, Konstantin
(2024)
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms.
In: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Girona, Catalonia, 2-6 Sept 2024,
(Accepted for Publication)
McIlree, Matthew J., Mccreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871 and Nordström, Jakob
(2024)
Proof Logging for the Circuit Constraint.
In: 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2024), Uppsala, Sweden, 28-31 May 2024,
pp. 38-55.
ISBN 9783031606014
(doi: 10.1007/978-3-031-60599-4_3)
2023
McIlree, Matthew J. and Mccreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871
(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,
26:1-26:17.
ISBN 9783959773003
(doi: 10.4230/LIPIcs.CP.2023.26)
2021
Espasa, Joan, Gent, Ian P., Hoffmann, Ruth, Jefferson, Christopher, McIlree, Matthew and Lynch, Alice 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.
Conference Proceedings
McIlree, Matthew and McCreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871
(2024)
Certifying Bounds Propagation for Integer Multiplication Constraints.
In: 39th Annual AAAI Conference on Artificial Intelligence (AAAI’25), Philadelphia, Pennsylvania, USA, 25 February – 4 March 2025,
(Accepted for Publication)
Demirović, Emir, Mccreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871, McIlree, Matthew, Nordström, Jakob, Oertel, Andy and Sidorov, Konstantin
(2024)
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms.
In: 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Girona, Catalonia, 2-6 Sept 2024,
(Accepted for Publication)
McIlree, Matthew J., Mccreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871 and Nordström, Jakob
(2024)
Proof Logging for the Circuit Constraint.
In: 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2024), Uppsala, Sweden, 28-31 May 2024,
pp. 38-55.
ISBN 9783031606014
(doi: 10.1007/978-3-031-60599-4_3)
McIlree, Matthew J. and Mccreesh, Ciaran ORCID: https://orcid.org/0000-0002-6106-4871
(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,
26:1-26:17.
ISBN 9783959773003
(doi: 10.4230/LIPIcs.CP.2023.26)
Espasa, Joan, Gent, Ian P., Hoffmann, Ruth, Jefferson, Christopher, McIlree, Matthew and Lynch, Alice 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.
