This is a list of my academic publications.
Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd Millstein. Bit Blasting Probabilistic Programs. PLDI 2024. (nominated for Distinguished Paper Award) pdf
Image Manipulation via Multi-Hop Instructions - A New Dataset and Weakly-Supervised Neuro-Symbolic Approach Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Ashish Goswami, Satyam Modi, Arnab Kumar Mondal, Dinesh Khandelwal, Dinesh Garg, Parag Singla. EMNLP 2023. pdf
Scaling Integer Arithmetic in Probabilistic Programs William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd Millstein, Guy Van den Broeck. UAI 2023. pdf
Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd Millstein. Language for Inference, Workshop at POPL 2023. pdf
Image Manipulation via Neuro-Symbolic Networks. Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Arnab Kumar Mondal, Dinesh Khandelwal, Parag Singla, Dinesh Garg. Neuro Causal and Symbolic AI, Workshop at NeurIPS 2022. pdf
Low Cost Platform Design for Pollution Measurement in Delhi-NCR using Vehicle-Mounted Sensors. Tanishka Goyal, Ankita Singh, Smriti Chhaya, Aditi Vikas, Poorva Garg, Ritika Malik, Rijurekha Sen. MobiCom 2018. pdf