2 citations · 5 across the 4 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…