9 citations · 13 across the 6 of their papers we have counts for
3 papers · 1 filter
Bit Blasting Probabilistic Programs
Poorva Garg, Steven Holtzen, Guy Van den Broeck +1
Probabilistic programming languages (PPLs) are expressive means for creating and reasoning about probabilistic models. Unfortunately hybrid probabilistic programs, involving both c…
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…
Image Manipulation via Multi-Hop Instructions -- A New Dataset and Weakly-Supervised Neuro-Symbolic Approach
Harman Singh, Poorva Garg, Mohit Gupta +7
We are interested in image manipulation via natural language text -- a task that is useful for multiple AI applications but requires complex reasoning over multi-modal spaces. We e…