2 citations · 3 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.LO2024
Trees and spectra of Heyting algebras
Damiano Fornasiere, Tommaso Moraschini
A poset is Esakia representable when it is isomorphic to the prime spectrum of a Heyting algebra. Notably, every Esakia representable poset is also the spectrum of a commutative ri…
cs.AI2024
Can a Bayesian Oracle Prevent Harm from an Agent?
Yoshua Bengio, Michael K. Cohen, Nikolay Malkin +4
Is there a way to design powerful AI systems based on machine learning methods that would satisfy probabilistic safety guarantees? With the long-term goal of obtaining a probabilis…