Levi Lelis
banner
programsynthesis.bsky.social
Levi Lelis
@programsynthesis.bsky.social
Associate Professor - University of Alberta
Canada CIFAR AI Chair with Amii
Machine Learning and Program Synthesis
he/him; ele/dele 🇨🇦 🇧🇷

https://www.cs.ualberta.ca/~santanad
Previous work has shown that programmatic policies—computer programs written in a domain-specific language—generalize to out-of-distribution problems more easily than neural policies.

Is this really the case? 🧵
July 2, 2025 at 10:12 PM
In other cases, where clustering seems unable to find relevant structure, the subgoal-based policies do not seem to harm the search, as in Sokoban problems.
June 13, 2025 at 3:29 AM
The empirical results are strong when clustering effectively detects the problem's underlying structure.
June 13, 2025 at 3:29 AM
🧵1/ New paper! 📄 Subgoal-Guided Policy Heuristic Search with Learned Subgoals, led by my PhD student @tuero.ca.

arxiv.org/pdf/2506.07255

This paper follows the Levin tree search (LTS) research line and focuses on learning subgoal-based policies.
June 13, 2025 at 3:29 AM
🧵1/ New paper! 📄 InnateCoder: Learning Programmatic Options with Foundation Models

This is Rubens Moraes' final chapter of his PhD thesis from Universidade Federal de Viçosa, Brazil, in collaboration with Quazi Sadmine and Hendrik Baier.

arXiv: arxiv.org/abs/2505.12508
May 23, 2025 at 8:31 PM
Are you interested in programmatic representations in machine learning? Please consider submitting your work to these workshops: one at ICML and another at RLC. 🧵
May 21, 2025 at 4:23 AM
I am re-reading "Learning Differentiable Programs with Admissible Neural Heuristics." This is still one of my favorite papers from the past 5–6 years.

arxiv.org/pdf/2007.12101
February 4, 2025 at 5:34 AM
I still believe that visual perception could play a key role in solving the ARC-AGI challenge. The fact that VLMs currently perform worse than LLMs doesn’t necessarily prove the challenge isn’t visual. It could be that VLMs lack the bias needed to solve the visual ARC riddles.

x.com/fchollet/sta...
December 26, 2024 at 11:22 PM
Just arrived in Vancouver for our #NeurIPS2024 tutorial on programmatic RL and code generation. Come join us tomorrow.
December 9, 2024 at 11:48 PM