Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Multi-Language Probabilistic Programming
Sam Stites, John M. Li, Steven Holtzen
There are many different probabilistic programming languages that are specialized to specific kinds of probabilistic programs. From a usability and scalability perspective, this is…
cs.PL2024
A Nominal Approach to Probabilistic Separation Logic
John M. Li, Jon Aytac, Philip Johnson-Freyd +2
Currently, there is a gap between the tools used by probability theorists and those used in formal reasoning about probabilistic programs. On the one hand, a probability theorist d…