talk-data.com talk-data.com

Meetup talk 2025-10-14 at 20:00

Formal verification of ML, a rigorous mathematical approach

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

Speakers

Brain John Aboze

Developer Evangelist · Safe Intelligence

Topics

AI/ML

Description

Talk by Brain John Aboze on formal verification in ML.