The Complex(ity) Landscape of Checking Infinite Descent [pdf,ACM]
Liron Cohen, Adham Jabarin, Andrei Popescu and Reuben N. S. Rowe
Proceedings of POPL, 2024
Inductive Continuity via Brouwer Trees [pdf,DROPS]
Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, and Ayberk Tosun
Proceedings of MFCS, 2023
Monadic Realizability for Intuitionistic Higher-Order Logic [pdf]
Liron Cohen, Ariel Grunfeld and Ross Tate
Proceedings of TYPES, 2023
Realizing Continuity Using Stateful Computations
[pdf,DROPS]
Liron Cohen and Vincent Rahli
Proceedings of CSL, 2023
A Geometric Method for Improved Uncertainty Estimation in Real-time [pdf,OpenReview]
Gabriella Chouraqui, Liron Cohen, Gil Einziger and Liel Leman
Proceedings of UAI, 2022
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities [pdf,DROPS]
Liron Cohen and Vincent Rahli
Proceedings of FSCD, 2022
BioTT: a Family of Brouwerian Intuitionistic Theories Open to Classical Reasoning [pdf]
Mark Bickford, Liron Cohen, Robert Constable and Vincent Rahli
Proceedings of TYPES, 2022
Evidenced Frames: A Unifying Framework Broadening Realizability Models [pdf, ACM, Coq formalization]
Liron Cohen, Etienne Miquey and Ross Tate
Proceedings of LICS, 2021
Non-well-founded Deduction for Induction and Coinduction [pdf, SpringerLink]
Liron Cohen
Proceedings of CADE, 2021
Formally Computing with the Non-computable [pdf, SpringerLink]
Liron Cohen
Proceedings of CiE, 2021
Non-well-founded Proof Theory of Transitive Closure Logic [pdf, ACM]
Liron Cohen, Reuben N. S. Rowe
Transactions on Computational Logic, 2020
Open Bar --- a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle [pdf, DROPS]
Mark Bickford, Liron Cohen, Robert Constable and Vincent Rahli
Proceedings of CSL, 2020
Integrating Induction and Coinduction via Closure Operators and Proof Cycles [pdf, SpringerLink]
Liron Cohen, Reuben N. S. Rowe
Proceedings of IJCAR, 2020
The Effects of Effects on Constructivism [pdf, ENTCS]
Liron Cohen, Sofia Abreu Faro and Ross Tate
Proceedings of MFPS, 2019
Towards Automated Reasoning in Herbrand Structures [pdf, Oxford Journals]
Liron Cohen, Reuben N. S. Rowe and Yoni Zohar
Journal of Logic and Computation, 2019
Bar Induction is Compatible with Constructive Type Theory [pdf, ACM]
Vincent Rahli, Mark Bickford, Liron Cohen and Robert Constable
Journal of the ACM, 2019
A Verified Theorem Prover Backend Supported by a Monotonic Library [pdf, EasyChair]
Vincent Rahli, Liron Cohen, Mark Bickford
Proceedings of LPAR, 2018
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent [pdf, DROPS]
Liron Cohen, Reuben N. S. Rowe
Proceedings of CSL, 2018
Computability Beyond Church-Turing via Choice Sequences [pdf, ACM]
Mark Bickford, Liron Cohen, Robert Constable and Vincent Rahli
Proceedings of LICS, 2018
Applicable Mathematics in a Minimal Computational Theory of Sets [pdf, Episciences]
Arnon Avron and Liron Cohen
Journal of Logical Methods in Computer Science, 2018
Reasoning Inside The Box: Deduction in Herbrand Logics [pdf, EasyChair]
Liron Cohen and Yoni Zohar
Proceedings of GCAI, 2017
A Minimal Computational Theory of a Minimal Computational Universe [pdf, SpringerLink]
Arnon Avron and Liron Cohen
Proceedings of LFCS, 2017
Completeness for Ancestral Logic via a Computationally-Meaningful Semantics [pdf, SpringerLink]
Liron Cohen
Proceedings of TABLEAUX, 2017
Intuitionistic Ancestral Logic [pdf, Oxford Journals]
Liron Cohen and Robert Constable
Journal of Logic and Computation, 2015
Formalizing Scientifically Applicable Mathematics in a Definitional Framework [pdf,JFR]
Arnon Avron and Liron Cohen
Journal of Formalized Reasoning, 2015
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language [pdf, SpringerLink]
Liron Cohen and Robert Constable
Proceedings of WoLLIC, 2015
The Middle Ground - Ancestral Logic [pdf, SpringerLink]
Liron Cohen and Arnon Avron
Synthese, 2014
Ancestral Logic: A Proof Theoretical Study [pdf, SpringerLink]
Liron Cohen and Arnon Avron
Proceedings of WoLLIC, 2014
Manuscripts
Formalizing Mathematics via Predicative and Constructive Approaches [pdf]
Ph.D. Thesis
Tel Aviv University, 2016
Ancestral Logic and Equivalent Systems [pdf]
M.Sc. Thesis
Tel Aviv University, 2010
