AI Signals #26: From RAG to Rigour: Practical + Formal Approaches in AI

​Agenda

​06:30pm - Doors open, food and drink served

​07:00pm - Welcome

​​07:05pm - [Ollie Glass, Independent AI Engineer "Measuring, Improving, and Explaining RAG Systems" ] Cancelled
Yaswanth Narvaneni, Entrepreneur in Residence, Antler, “MCP Gateway: Adding resilience and scale to MCP stack”

​​07:45pm - Break

​​08:00pm - Brain John Aboze, Developer Evangelist, Safe Intelligence, "Formal verification of ML , a rigorous mathematical approach"

​​08:40pm - To be confirmed

​09:00pm - Wrap up, drinks at Bricklayers Arms

Please note you will be unable to enter the venue before 6.30pm.

​RSVPs will close 24 hours before the event, you may be unable to register after this time but you can still watch online.

​If you can't join us in person you can watch remotely via our YouTube channel.

​Our hosts may require that we provide a list of all attendees, please ensure that you register with a name that matches your government issued ID or bank card: if you do not we cannot guarantee you entry to the building.

​Please RSVP for the event well in advance if you plan to attend in person and unRSVP if you can no longer attend as limited spaces are available.