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
Filtering by:
AI Signals #26: From RAG to Rigour: Practical + Formal Approaches in AI
×
Filter by Event / Source
Talks & appearances
Showing 1 of 1 activities