Liron Cohen

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 32

Top Topics

Inductive Reasoning

Intuitionistic Logic

Computational Theory

Top Venues

Publications

Liron Cohen, Yannick Forster, Dominik Kirst, Bruno da Rocha Paiva, Vincent Rahli
Separating Markov's Principles. LICS (2024)
Liron Cohen, Vincent Rahli
$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity. Log. Methods Comput. Sci. 20 (2) (2024)
Liron Cohen, Adham Jabarin, Andrei Popescu, Reuben N. S. Rowe
The Complex(ity) Landscape of Checking Infinite Descent. Proc. ACM Program. Lang. 8 (POPL) (2024)
Liron Cohen, Vincent Rahli
: a Family of Extensional Type Theories with Effectful Realizers of Continuity. CoRR (2023)
Liron Cohen, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun
Inductive Continuity via Brouwer Trees. MFCS (2023)
Liron Cohen, Vincent Rahli
Realizing Continuity Using Stateful Computations. CSL (2023)
Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman
Uncertainty Estimation based on Geometric Separation. CoRR (2023)
Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman
A geometric method for improved uncertainty estimation in real-time. UAI (2022)
Liron Cohen, Vincent Rahli
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. FSCD (2022)
Gabriella Chouraqui, Liron Cohen, Gil Einziger, Liel Leman
A Geometric Method for Improved Uncertainty Estimation in Real-time. CoRR (2022)
Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli
Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle. CSL (2021)
Liron Cohen
Non-well-founded Deduction for Induction and Coinduction. CADE (2021)
Liron Cohen
Formally Computing with the Non-computable. CiE (2021)
Liron Cohen, Étienne Miquey, Ross Tate
Evidenced Frames: A Unifying Framework Broadening Realizability Models. LICS (2021)
Liron Cohen, Reuben N. S. Rowe
Non-well-founded Proof Theory of Transitive Closure Logic. ACM Trans. Comput. Log. 21 (4) (2020)
Liron Cohen, Reuben N. S. Rowe
Integrating Induction and Coinduction via Closure Operators and Proof Cycles. IJCAR (1) (2020)
Vincent Rahli, Mark Bickford, Liron Cohen, Robert L. Constable
Bar Induction is Compatible with Constructive Type Theory. J. ACM 66 (2) (2019)
Liron Cohen, Reuben N. S. Rowe, Yoni Zohar
Towards automated reasoning in Herbrand structures. J. Log. Comput. 29 (5) (2019)
Liron Cohen, Arnon Avron
The middle ground-ancestral logic. Synth. 196 (7) (2019)
Liron Cohen, Robert L. Constable
Intuitionistic ancestral logic. J. Log. Comput. 29 (4) (2019)
Liron Cohen, Sofia Abreu Faro, Ross Tate
The Effects of Effects on Constructivism. MFPS (2019)
Liron Cohen, Reuben N. S. Rowe
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. CSL (2018)
Liron Cohen, Reuben N. S. Rowe
Infinitary and Cyclic Proof Systems for Transitive Closure Logic. CoRR (2018)
Arnon Avron, Liron Cohen
A Minimal Computational Theory of a Minimal Computational Universe. LFCS (2018)
Mark Bickford, Liron Cohen, Robert L. Constable, Vincent Rahli
Computability Beyond Church-Turing via Choice Sequences. LICS (2018)
Arnon Avron, Liron Cohen
Applicable Mathematics in a Minimal Computational Theory of Sets. Log. Methods Comput. Sci. 14 (4) (2018)
Vincent Rahli, Liron Cohen, Mark Bickford
A Verified Theorem Prover Backend Supported by a Monotonic Library. LPAR (2018)
Arnon Avron, Liron Cohen
Applicable Mathematics in a Minimal Computational Theory of Sets. CoRR (2018)
Liron Cohen, Yoni Zohar
Reasoning Inside The Box: Deduction in Herbrand Logics. GCAI (2017)
Liron Cohen
Completeness for Ancestral Logic via a Computationally-Meaningful Semantics. TABLEAUX (2017)
Arnon Avron, Liron Cohen
Formalizing Scientifically Applicable Mathematics in a Definitional Framework. J. Formaliz. Reason. 9 (1) (2016)
Liron Cohen, Robert L. Constable
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. WoLLIC (2015)
Liron Cohen, Arnon Avron
Ancestral Logic: A Proof Theoretical Study. WoLLIC (2014)