forked from NeuralNetworkVerification/Marabou
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathTHANKS
More file actions
17 lines (16 loc) · 609 Bytes
/
THANKS
File metadata and controls
17 lines (16 loc) · 609 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
Marabou team thanks the following contributors:
Elazar Cohen, Hebrew University of Jerusalem
Omri Cohen, Hebrew University of Jerusalem
Alex Feldsher, Hebrew University of Jerusalem
Mathew Fernandez, Intel
Github user muizzk
John Grese, Carnegie Mellon University
Jayanth Kannan, Stanford University
Wen Kokke, University of Edinburgh
Lindsey Kuper, Intel
Ori Lahav, Hebrew University of Jerusalem
Yoni Mantzur, Hebrew University of Jerusalem
Samuele Marro, University of Bologna
Chris Strong, Stanford University
Chelsea Sidrane, Stanford University
Yizhak Yisrael Elboher, Hebrew University of Jerusalem