|
|
|
|
|
|
by orange3xchicken
1721 days ago
|
|
|
Maybe Bosch? Prof. Zico Kolter from CMU is a chief scientist associated with them, and his group does a lot of really good work in the ml verification space (e.g. the first randomized smoothing and the Wong & Kolter certificates). |
|
|