[Corpora-List] PhD in Mathematical foundations for AI in London