Poorva Garg

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Image Manipulation

Top Venues

Proc. ACM Program. Lang.

Publications

Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
Bit Blasting Probabilistic Programs. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein
Bit Blasting Probabilistic Programs. CoRR (2023)
Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Ashish Goswami, Satyam Modi, Arnab Kumar Mondal, Dinesh Khandelwal, Dinesh Garg, Parag Singla
Image Manipulation via Multi-Hop Instructions - A New Dataset and Weakly-Supervised Neuro-Symbolic Approach. EMNLP (2023)
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling Integer Arithmetic in Probabilistic Programs. CoRR (2023)
Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Arnab Kumar Mondal, Dinesh Khandelwal, Parag Singla, Dinesh Garg
Image Manipulation via Multi-Hop Instructions - A New Dataset and Weakly-Supervised Neuro-Symbolic Approach. CoRR (2023)
William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck
Scaling integer arithmetic in probabilistic programs. UAI (2023)
Tanishka Goyal, Ankita Singh, Smriti Chhaya, Aditi Vikas, Poorva Garg, Ritika Malik, Rijurekha Sen
Poster: Low Cost Platform Design for Pollution Measurement in Delhi-NCR using Vehicle-Mounted Sensors. MobiCom (2018)