3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.AI2023★ 3 cited
Scaling Integer Arithmetic in Probabilistic Programs
William X. Cao, Poorva Garg, Ryan Tjoa +3
Distributions on integers are ubiquitous in probabilistic modeling but remain challenging for many of today's probabilistic programming languages (PPLs). The core challenge comes f…
cs.PL2023★ 1 cited
Lilac: A Modal Separation Logic for Conditional Probability
John M. Li, Amal Ahmed, Steven Holtzen
We present Lilac, a separation logic for reasoning about probabilistic programs where separating conjunction captures probabilistic independence. Inspired by an analogy with mutabl…
cs.SE2023★ 1 cited
Type Prediction With Program Decomposition and Fill-in-the-Type Training
Federico Cassano, Ming-Ho Yee, Noah Shinn +2
TypeScript and Python are two programming languages that support optional type annotations, which are useful but tedious to introduce and maintain. This has motivated automated typ…