Canada CIFAR AI Chair with Amii
Machine Learning and Program Synthesis
he/him; ele/dele 🇨🇦 🇧🇷
https://www.cs.ualberta.ca/~santanad
Is this really the case? 🧵
Is this really the case? 🧵
arxiv.org/pdf/2506.07255
This paper follows the Levin tree search (LTS) research line and focuses on learning subgoal-based policies.
arxiv.org/pdf/2506.07255
This paper follows the Levin tree search (LTS) research line and focuses on learning subgoal-based policies.
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
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
arxiv.org/pdf/2007.12101
arxiv.org/pdf/2007.12101
x.com/fchollet/sta...
x.com/fchollet/sta...