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
-
Cyclone: A Heterogeneous Tool for Verifying Infinite Descent
Cohen, L., Rowe, R. N. S. & Shaked, M., 1 Jan 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 336-354 19 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Separating Markov's Principles
Cohen, L., Forster, Y., Kirst, D., Da Rocha Paiva, B. & Rahli, V., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 28. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Scopus citations -
The Complex(ity) Landscape of Checking Infinite Descent
Cohen, L., Jabarin, A., Popescu, A. & Rowe, R. N. S., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, 46.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
TT□C: A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY
Cohen, L. & Rahli, V., 1 Jan 2024, In: Logical Methods in Computer Science. 20, 2, p. 18:1-18:27Research output: Contribution to journal › Article › peer-review
Open Access -
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
2 Scopus citations -
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
3 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
4 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
Prizes
-
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
-
Projects
- 1 Active
-
Extending and Applying Implemented Intuitionistic Mathematics
Cohen, L. (PI) & Constable, R. L. (CoPI)
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
-
Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)
Rowe, R. (Creator), Cohen, L. (Creator) & Shaked, M. (Creator), ZENODO, 5 Feb 2025
DOI: 10.5281/zenodo.14743891, https://zenodo.org/records/14743891
Dataset
-
Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)
Rowe, R. (Creator), Cohen, L. (Creator) & Shaked, M. (Creator), ZENODO, 25 Oct 2024
DOI: 10.5281/zenodo.13990264, https://zenodo.org/records/13990264
Dataset