talk-data.com talk-data.com

Event

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

2025-10-14 – 2025-10-14 Meetup Visit website ↗

Activities tracked

3

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"] 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 - Rhea Mendonca: When Your Data Lies: Lessons from Feeding AI with Incomplete Truths

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.

Sessions & talks

Showing 1–3 of 3 · Newest first

Search within this event →

When Your Data Lies: Lessons from Feeding AI with Incomplete Truths

2025-10-14
talk

Talk by Rhea Mendonca on data quality and AI.

Formal verification of ML, a rigorous mathematical approach

2025-10-14
talk
Brain John Aboze (Safe Intelligence)

Talk by Brain John Aboze on formal verification in ML.

MCP Gateway: Adding resilience and scale to MCP stack

2025-10-14
talk

Talk by Yaswanth Narvaneni on MCP Gateway resilience and scalability.