Author

L. Cohen

h-index 17 View on Semantic Scholar

We have 2 of 69 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Open access Sep 2026

Semantic Geometric Calibration in Randomized Neural Feature Space

This work presents Random Geometric Calibration (RGC), a post hoc method that augments confidence estimation with a geometric signal derived from distances to training data in an aggregated semantic representation space that achieves state-of-the-art or near state-of-the-art calibration performance.

Itay Abuhazera, L. Cohen, Gil Einziger · Proceedings of the Thirty-Fi... · 0 citations

2026

Certified Infinite Descent Criteria in Isabelle/HOL

A reusable, locale-based framework of sloped graphs is developed that defines Infinite Descent at an abstract level, independently of any concrete graph encoding, and formalize tool-facing sufficient criteria, prove their soundness, and certify incompleteness where appropriate via verified counterexamples.

Jamie Wright, L. Cohen, R. Rowe et al. · International Conference on... · 1 citation