Talk by Brain John Aboze on formal verification in ML.
talk-data.com
B
Speaker
Brain John Aboze
1
talks
Developer Evangelist
Safe Intelligence
Developer Evangelist at Safe Intelligence.
Bio from: AI Signals #26: From RAG to Rigour: Practical + Formal Approaches in AI
Filter by Event / Source
Talks & appearances
1 activities · Newest first