Leon Witzman

According to our database, Leon Witzman authored at least 6 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Classical Linear Logic in Perfect Banach Lattices.

Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards.

Xuan-Bach Le, Dominik Wagner, Leon Witzman, Alexander Rabinovich, Luke Ong

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

A Coalgebraic Approach to Reducing Finitary Automata.

Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman

CoRR, 2023

Multiplicative and semi-multiplicative functions on non-crossing partitions, and relations to cumulants.

Adrian Celestino, Kurusch Ebrahimi-Fard, Alexandru Nica, Daniel Perales, Leon Witzman

Adv. Appl. Math., 2023

2022

Computational aspects of sturdy and flimsy numbers.

Trevor Clokie, Thomas F. Lidbetter, Antonio Molina Lovett, Jeffrey O. Shallit, Leon Witzman

Theor. Comput. Sci., 2022

2021

Computational Fun with Sturdy and Flimsy Numbers.

Trevor Clokie, Thomas F. Lidbetter, Antonio Molina Lovett, Jeffrey O. Shallit, Leon Witzman

Proceedings of the 10th International Conference on Fun with Algorithms, 2021