Liron Cohen

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

• Formalizing Coinduction via Closure Operators and Proof Cycles

  Cohen, L. (Recipient), 2021

  Prize

• Real-time Robustness Proving in Machine Learning Models

  Cohen, L. (Recipient) & Einziger, G. (Recipient), 2020

  Prize

• The Pazy Memorial Research Award

  Cohen, L. (Recipient) & Constable, R. L. (Recipient), 2021

  Prize