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

We are shuttering our Meetup group later this year, please sign up to our calendar on Luma to avoid missing out on our future events.`

​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"

​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.