LAIV Publications

2020:

  1. Alasdair Hill, Ekaterina Komendantskaya and Ron Petrick. Proof-Carrying Plans: a Resource Logic for AI Planning PPDP’20, the 22nd International Symposium on Principles and Practice of Declarative Programming.
  2. Ekaterina Komendantskaya, Dmitry Rozplokhas and Henning Basold. The New Normal: We Cannot Eliminate Cuts in Coinductive Sequent Calculi, But We Can Explore Them. ICLP’20, the 36th International Conference on Logic Programming.
  3. Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz and David Aspinall. Robustness as a Refinement Type: Verifying Neural Networks in Liquid Haskell and F*. Accepted at ETAPS Workshop LiVe’20: 4th Workshop on Learning in Verification, 25 April 2020, Dublin, Ireland.
  4. Kirsty Duncan, Ekaterina Komendantskaya, Robert Sewart, Michael Lones Relative Robustness of Quantized Neural Networks Against Adversarial Attacks, accepted to be published and presented at the International Joint Conference on Neural Networks, IJCNN’20, part of the world congress on computational intelligence: https://wcci2020.org/ 19-24 July 2020, Glasgow, Scotland.
  5. Pascal Bacchus, Robert Stewart and Ekaterina Komendantskaya. Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantised Neural Networks on FPGAs. 16th International Symposium on Applied Reconfigurable Computing (ARC2020), 1-3 April   Toledo, Spain.
  6. Alasdair Hill, Ekaterina Komendantskaya and Ronald Petrick. Proof-Carrying Plan Logic: a Resource Logic for AI Planning. 22 International Symposium on Principles and Practice of Declarative Programming. Virtual conference organized by University of Bologna, Italy, 8-10 September 2020

2019:

  1. C.Schwaab, E.Komendantskaya, A.Hill, F.Farka, J.Wells, R.Petrick, K.Hammond. Proof-Carrying Plans. PADL 2019 (21st International Symposium on Practical Aspects of Declarative Languages), 14-15 January 2019, Cascais/Lisbon, Portugal.
  2. H. Basold, E. Komendantskaya, Y. Li Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. ESOP 2019 (28th European Symposium on Programming), 8-11 April 2019, Prague.
  3. E. Komendantskaya, R. Stewart, K. Duncan, D. Kienitz, P. Le Hen, P. Bacchus. Neural Network Verification for the Masses (of AI graduates). Experience report, June 2019
  4. P. Bacchus. Performance Metrics for Approximate Deep Learning on Programmable Hardware. MSc Thesis, Heriot-Watt University, 2019. Supervisor: R. Stewart.
  5. P. Le Hen. Adversarial Attacks on Neural Networks in Image Processing. MSc Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya.
  6. D. Kienitz. Robustness of Neural Networks: Understanding the Nature of Adversarial Examples. MSc Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya.
  7. Y.Li. A Proof-Theoretic Approach to Coinduction in Horn Clause Logic” . PhD Thesis, Heriot-Watt University, 2019. Supervisor: E.Komendantskaya and M.Lawson.