• Seminar: Patnaik-Pearson intrinsic dimension for internal representations of neural networks

    Thursday 15th October 14:00-15:00 Speaker: Dr. Tom Hadfield, Imperial College London Title: Patnaik-Pearson intrinsic dimension for internal representations of neural networks Abstract: We define a new measure of intrinsic dimension of a data manifold, which we call the Patnaik-Pearson dimension, and apply this to internal representations of neural networks, in particular transformers. The inspiration for …

  • Seminar: Best-Effort Synthesis for Temporally Extended Goals in Nondeterministic Planning Domains

    Tuesday 20th October 12:00-13:00 Speaker: Gianmarco Parretti, University of Oxford Title: Best-Effort Synthesis for Temporally Extended Goals in Nondeterministic Planning Domains Abstract: In recent years, (Reactive) Synthesis has emerged as a powerful framework for the automated development of autonomous AI agents: given a specification of its goal and of the environment in which it operates, …

  • UK AI Research Symposium

    John McIntyre Conference Centre, Pollock Estate, Edinburgh John McIntyre Conference Centre on Pollock Estate, Edinburgh, United Kingdom

    The UK AI Research Symposium (UKAIRS) is the premier national gathering for the UK artificial intelligence research community. Organized in collaboration with UKRI, RAI UK, the national AI Hubs, and CDT centres, UKAIRS purpose is to bring together researchers and stakeholders from across disciplines, including computer science, engineering, humanities, and healthcare, to showcase leading research, …

  • Mathematical Foundations of AI Conference 2027

    Durham University Durham

    Following successful events at Queen Mary University London and in Oxford, our third annual conference will be held at Durham University from 21st-23rd September 2027.