Research output per year
Research output per year
Fingerprint
Dive into the research topics where Liron Cohen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Inductive Continuity via Brouwer Trees
Cohen, L., da Rocha Paiva, B., Rahli, V. & Tosun, A., 1 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 37. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Realizing Continuity Using Stateful Computations
Cohen, L. & Rahli, V., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 15:1-15:18 18 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
A Geometric Method for Improved Uncertainty Estimation in Real-time
Chouraqui, G., Cohen, L., Einziger, G. & Leman, L., 1 Jan 2022, Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, UAI 2022. Association For Uncertainty in Artificial Intelligence (AUAI), p. 422-432 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Geometric Method for Improved Uncertainty Estimation in Real-time
Chouraqui, G., Cohen, L., Einziger, G. & Leman, L., 1 Jan 2022, In: Proceedings of Machine Learning Research. 180, p. 422-432 11 p.Research output: Contribution to journal › Conference article › peer-review
-
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities.
Cohen, L. & Rahli, V., 28 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. Felty, A. P. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 10:1-10:23 23 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Scopus citations -
12th international conference on interactive theorem proving
Cohen, L. & Kaliszyk, C., 1 Jun 2021, In: Leibniz International Proceedings in Informatics, LIPIcs. 193Research output: Contribution to journal › Editorial
-
Evidenced Frames: A Unifying Framework Broadening Realizability Models
Cohen, L., Miquey, E. & Tate, R., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers, 9470514. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Formally Computing with the Non-computable.
Cohen, L., 2 Jul 2021, Conference on Computability in Europe - CiE 2021. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 135-145 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12813 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Non-well-founded Deduction for Induction and Coinduction.
Cohen, L., 5 Jul 2021, p. 3-24. 22 p.Research output: Contribution to conference › Paper › peer-review
-
Open bar – A brouwerian intuitionistic logic with a pinch of excluded middle
Bickford, M., Cohen, L., Constable, R. L. & Rahli, V., 1 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations
Prizes
-
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
Projects
- 1 Active
-
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, L. & Constable, R. L.
United States-Israel Binational Science Foundation (BSF)
1/01/20 → …
Project: Research
Datasets
-
The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)
Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 5 Nov 2023
DOI: 10.5281/zenodo.10073582, https://zenodo.org10073582
Dataset
-
The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)
Cohen, L. (Creator), Jabarin, A. (Creator), Popescu, A. (Creator) & Rowe, R. N. S. (Creator), ZENODO, 9 Oct 2023
DOI: 10.5281/zenodo.8422899, https://zenodo.org/record/8422899
Dataset