Artur Back de Luca
Ph.D. Student in Computer Science
University of Waterloo
About
I’m a fourth-year Ph.D. student in Computer Science at the University of Waterloo, advised by Kimon Fountoulakis. My research focuses on reasoning in neural networks, particularly on which problems they can solve, how they can learn to solve them from data, and how we can certify that they have learned to do so correctly.
Over the years, I have also worked on other topics, including machine learning on graphs. At Amazon, I worked on probabilistic models for forecasting inventory arrivals across the supply chain and, more recently, on diffusion models to generate time-series data for training forecasting foundation models. Earlier, at Huawei’s Noah’s Ark Lab, I worked on federated learning through connections to domain generalization.
I expect to graduate in 2027. Feel free to reach out about industry opportunities where you think there might be a fit.
News
Sep 2026
Our paper on certification from examples for circuits and Transformers was accepted at NeurIPS 2026.
May 2026
New paper on certification from examples for circuits and Transformers.
Apr 2026
Our paper on exact graph algorithm execution received a spotlight at ICML 2026.
Apr 2026
I was awared the NSERC Canada Graduate Research Scholarship (CGRS D) and the President’s Graduate Scholarship.
Apr 2026
Mar 2026
I will be joining Amazon again for another summer internship in Applied Research at SCOT.
Feb 2026
Our paper on exact graph algorithm execution was accepted at the Workshop on Latent & Implicit Thinking at ICLR 2026.
Feb 2026
New paper on exact graph algorithm execution with graph neural networks.
Jan 2026
I was awarded the David R. Cheriton Graduate Scholarship.
Dec 2025
I was awarded the TD Layer 6 Graduate Scholarship in Data and AI.
Sep 2025
Our paper on exact execution of algorithmic instructions was accepted at NeurIPS 2025.
Jul 2025
Our paper on exact permutation learning was accepted at the HiLD workshop at ICML 2025.
May 2025
I received the Ontario Graduate Scholarship (OGS) and the President’s Graduate Scholarship.
Feb 2025
I am joining Amazon for a summer internship in Applied Research at SCOT
Feb 2025
New paper on Transformers and algorithmic computation.
Jun 25, 2024
I presented our work on local graph clustering at the Fields Institute for the Workshop on Complex Networks in Banking and Finance.
May 2024
Our paper on looped transformers for graph algorithms was accepted at ICML 2024.
Feb 2024
New paper on looped transformers for graph algorithms.
Publications
Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization
Learning to Execute Graph Algorithms Exactly with Graph Neural Networks
Learning to Add, Multiply, and Execute Algorithmic Instructions Exactly with Neural Networks
Exact Learning of Permutations for Nonzero Binary Inputs with Logarithmic Training Size and Quadratic Ensemble Complexity
Positional Attention: Expressivity and Learnability of Algorithmic Computation
Simulation of Graph Algorithms with Looped Transformers
Local Graph Clustering with Noisy Labels
Mitigating Data Heterogeneity in Federated Learning with Data Augmentation