Liron Cohen

According to our database, Liron Cohen authored at least 31 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Complex(ity) Landscape of Checking Infinite Descent.

Liron Cohen, Adham Jabarin, Andrei Popescu, Reuben N. S. Rowe

Proc. ACM Program. Lang., January, 2024

$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity.

Liron Cohen, Vincent Rahli

Log. Methods Comput. Sci., 2024

Separating Markov's Principles.

Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

TT^☐_C: a Family of Extensional Type Theories with Effectful Realizers of Continuity.

Liron Cohen, Vincent Rahli

CoRR, 2023

Uncertainty Estimation based on Geometric Separation.

Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman

CoRR, 2023

Inductive Continuity via Brouwer Trees.

Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Realizing Continuity Using Stateful Computations.

Liron Cohen, Vincent Rahli

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

A geometric method for improved uncertainty estimation in real-time.

Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman

Proceedings of the Uncertainty in Artificial Intelligence, 2022

Constructing Unprejudiced Extensional Type Theories with Choices via Modalities.

Liron Cohen, Vincent Rahli

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

Evidenced Frames: A Unifying Framework Broadening Realizability Models.

Liron Cohen, Étienne Miquey, Ross Tate

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle.

Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

Formally Computing with the Non-computable.

Liron Cohen

Proceedings of the Connecting with Computability, 2021

Non-well-founded Deduction for Induction and Coinduction.

Liron Cohen

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Non-well-founded Proof Theory of Transitive Closure Logic.

Liron Cohen, Reuben N. S. Rowe

ACM Trans. Comput. Log., 2020

Integrating Induction and Coinduction via Closure Operators and Proof Cycles.

Liron Cohen, Reuben N. S. Rowe

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

The middle ground-ancestral logic.

Liron Cohen, Arnon Avron

Synth., 2019

Intuitionistic ancestral logic.

Liron Cohen, Robert L. Constable

J. Log. Comput., 2019

Towards automated reasoning in Herbrand structures.

Liron Cohen, Reuben N. S. Rowe, Yoni Zohar

J. Log. Comput., 2019

Bar Induction is Compatible with Constructive Type Theory.

Vincent Rahli, Mark Bickford, Liron Cohen, Robert L. Constable

J. ACM, 2019

The Effects of Effects on Constructivism.

Liron Cohen, Sofia Abreu Faro, Ross Tate

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2018

Applicable Mathematics in a Minimal Computational Theory of Sets.

Arnon Avron, Liron Cohen

Log. Methods Comput. Sci., 2018

Infinitary and Cyclic Proof Systems for Transitive Closure Logic.

Liron Cohen, Reuben N. S. Rowe

CoRR, 2018

A Verified Theorem Prover Backend Supported by a Monotonic Library.

Vincent Rahli, Liron Cohen, Mark Bickford

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Computability Beyond Church-Turing via Choice Sequences.

Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

A Minimal Computational Theory of a Minimal Computational Universe.

Arnon Avron, Liron Cohen

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent.

Liron Cohen, Reuben N. S. Rowe

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Completeness for Ancestral Logic via a Computationally-Meaningful Semantics.

Liron Cohen

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Reasoning Inside The Box: Deduction in Herbrand Logics.

Liron Cohen, Yoni Zohar

Proceedings of the GCAI 2017, 2017

2016

Formalizing Scientifically Applicable Mathematics in a Definitional Framework.

Arnon Avron, Liron Cohen

J. Formaliz. Reason., 2016

2015

Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language.

Liron Cohen, Robert L. Constable

Proceedings of the Logic, Language, Information, and Computation, 2015

2014

Ancestral Logic: A Proof Theoretical Study.

Liron Cohen, Arnon Avron

Proceedings of the Logic, Language, Information, and Computation, 2014