Prizes
- 5 results
Search results
-
Cyclic Reasoning Mechanisms for Interactive Theorem Proving
Cohen, Liron (Recipient) & Popescu, Razvan Andrei (Recipient), 2021
Prize
-
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, Liron (Recipient) & Constable, Robert L. (Recipient), 2021
Prize
-
-
Real-time Robustness Proving in Machine Learning Models
Cohen, Liron (Recipient) & Einziger, Gil (Recipient), 2020
Prize
-
The Pazy Memorial Research Award
Cohen, Liron (Recipient) & Constable, Robert L. (Recipient), 2021
Prize