Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

AI-Fun with ELLIS Seminar | Jack Liell-Cock: Compositional imprecise probability

AI FUN & ELLIS
Dates:13 November 2024
Times:11:00 - 12:00
What is it:Seminar
Organiser:Faculty of Science and Engineering
Who is it for:University staff, External researchers, Alumni, Current University students
Speaker:Jack Liell-Cock
See travel and contact information
Add to your calendar

More information

  • AI Fundamentals Website
  • Register to attend online

Other events

  • In category "Seminar"
  • In group "(DF) Data Science and AI"
  • By Faculty of Science and Engineering

The Manchester Centre for AI Fundamentals and Manchester's ELLIS Unit are co-hosting a series of seminars featuring expert researchers working in the fundamentals of AI.

Jack Liell-Cock is a PhD student at Keble College, Oxford, under the supervision of Jeremy Gibbons and Sam Staton.

Title: Compositional imprecise probability

Abstract: Imprecise probability concerns uncertainty about which probability distributions to use. It has applications in robust statistics and AI safety. Imprecise probability can be modelled in various ways, such as by convex sets of probability distributions.

We look at programming language models for imprecise probability. Our desiderata are that we would like our model to support all kinds of composition, categorical and monoidal; in other words, guided by dataflow diagrams. Another equivalent perspective is that we would like a model of synthetic probability in the sense of Markov categories.

The leading monad-based approach to imprecise probability is not fully compositional because the monad involved is not commutative, meaning it does not have a proper monoidal structure. In this work, we provide a new fully compositional account. The key idea is to name the non-deterministic choices. To manage the renamings and disjointness of names, we use graded monads. We show that the resulting compositional model is maximal and relate it with the earlier monad approach, proving that we obtain tighter bounds on the uncertainty.

Speaker

Jack Liell-Cock

Role: Researcher

Organisation: University of Oxford

  • https://www.cs.ox.ac.uk/people/jack.liell-cock/

Travel and Contact Information

Find event

Lecture Theatre 1.4
Kilburn Building
Manchester

Contact event

Centre for AI Fundamentals

ai-fun@manchester.ac.uk

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events