Company

Safe Intelligence

Speakers

1

Activities

1

Talks & appearances

1 activities from Safe Intelligence speakers

Formal verification of ML, a rigorous mathematical approach

2025-10-14 · AI Signals #26: From RAG to Rigour: Practical + Formal Approaches in AI

talk

Brain John Aboze (Developer Evangelist)

AI/ML

Talk by Brain John Aboze on formal verification in ML.