VLDB 2026 Research / reviewers in the wild / expert
Leon Witzman
dblp:258/0901
· DBLP profile ↗
3ranked-venue papers
0as first author
3since 2021 · last 2025
0000-0003-2074-7307ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Classical Linear Logic in Perfect Banach LatticesabstractIn recent years, researchers have proposed various models of linear logic with strong connections to measure theory, with probabilistic coherence spaces (PCoh) being one of the most prominent. One of the main limitations of the PCoh model is that it cannot interpret continuous measures. To overcome this obstacle, Ehrhard has extended PCoh to a category of positive cones and linear Scott-continuous functions and shown that it is a model of intuitionistic linear logic. In this work we show that the category PBanLat₁ of perfect Banach lattices and positive linear functions of norm at most 1 can serve the same purpose, with some added benefits. We show that PBanLat₁ is a model of classical linear logic (without exponential) and that PCoh embeds fully and faithfully in PBanLat₁ while preserving the monoidal and *-autonomous structures. Finally, we show how PBanLat₁ can be used to give semantics to a higher-order probabilistic programming language. Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen |
CSL | 2 |
| 2024 | Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards
Xuan-Bach Le, Dominik Wagner 0001, Leon Witzman, Alexander Moshe Rabinovich, C.-H. Luke Ong |
NeurIPS | 3 |
| 2022 | Computational aspects of sturdy and flimsy numbers
Trevor Clokie, Thomas F. Lidbetter, Antonio Molina Lovett, Jeffrey Shallit, Leon Witzman |
Theor. Comput. Sci. | 5 |