1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Laurens Devos, Wannes Meert, Jesse Davis
Machine learned models often must abide by certain requirements (e.g., fairness or legal). This has spurred interested in developing approaches that can provably verify whether a m…