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

ORCID iDhttps://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

Jump to: 2024 | 2023 | 2021
Number of items: 5.

2024

McIlree, M. and McCreesh, C. (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ć, E., Mccreesh, C. , McIlree, M., Nordström, J., Oertel, A. and Sidorov, K. (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, M. J., Mccreesh, C. and Nordström, J. (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, 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, 26:1-26:17. ISBN 9783959773003 (doi: 10.4230/LIPIcs.CP.2023.26)

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 Tue May 13 14:30:22 2025 BST.
Jump to: Conference Proceedings
Number of items: 5.

Conference Proceedings

McIlree, M. and McCreesh, C. (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ć, E., Mccreesh, C. , McIlree, M., Nordström, J., Oertel, A. and Sidorov, K. (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, M. J., Mccreesh, C. and Nordström, J. (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, 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, 26:1-26:17. ISBN 9783959773003 (doi: 10.4230/LIPIcs.CP.2023.26)

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 Tue May 13 14:30:22 2025 BST.

Supervisors


Matthew McIlree