Poorva Garg

According to our database, Poorva Garg authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bit Blasting Probabilistic Programs.

Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd D. Millstein

Proc. ACM Program. Lang., 2024

2023

Image Manipulation via Multi-Hop Instructions - A New Dataset and Weakly-Supervised Neuro-Symbolic Approach.

Harman Singh, Poorva Garg, Mohit Gupta, Kevin Shah, Arnab Kumar Mondal, Dinesh Khandelwal, Parag Singla, Dinesh Garg

CoRR, 2023

Scaling integer arithmetic in probabilistic programs.

William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck

Proceedings of the Uncertainty in Artificial Intelligence, 2023

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

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2018

Poster: 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

Proceedings of the 24th Annual International Conference on Mobile Computing and Networking, 2018