Prizes
- 5 results
Search results
-
Cyclic Reasoning Mechanisms for Interactive Theorem Proving
Cohen, L. (Recipient) & Popescu, R. A. (Recipient), 2021
Prize
-
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, L. (Recipient) & Constable, R. L. (Recipient), 2021
Prize
-
-
Real-time Robustness Proving in Machine Learning Models
Cohen, L. (Recipient) & Einziger, G. (Recipient), 2020
Prize
-