1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Michele Alberti, François Bobot, Julien Girard-Satabin +3
The formal specification and verification of machine learning programs saw remarkable progress in less than a decade, leading to a profusion of tools. However, diversity may lead t…