91 citations · 130 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Liron Cohen, Vincent Rahli
is a generic family of effectful, extensional type theories with a forcing interpretation parameterized by modalities. This paper identifies a subcl…
cs.LG2023
Uncertainty Estimation based on Geometric Separation
Gabriella Chouraqui, Liron Cohen, Gil Einziger +1
In machine learning, accurately predicting the probability that a specific input is correct is crucial for risk management. This process, known as uncertainty (or confidence) estim…