Annals of Mathematics & Artificial Intelligence