Aggarwal, Pranjal

6 publications

ICML 2025 AlphaVerus: Bootstrapping Formally Verified Code Generation Through Self-Improving Translation and Treefinement Pranjal Aggarwal, Bryan Parno, Sean Welleck

ICLRW 2025 AlphaVerus: Bootstrapping Formally Verified Code Generation Through Self-Improving Translation and Treefinement Pranjal Aggarwal, Bryan Parno, Sean Welleck

ICLRW 2025 Programming with Pixels: Towards Generalist Software Engineering Agents Pranjal Aggarwal, Sean Welleck

NeurIPS 2024 AutoMix: Automatically Mixing Language Models Pranjal Aggarwal, Aman Madaan, Ankit Anand, Srividya Pranavi Potharaju, Swaroop Mishra, Pei Zhou, Aditya Gupta, Dheeraj Rajagopal, Karthik Kappaganthu, Yiming Yang, Shyam Upadhyay, Manaal Faruqui, Mausam

NeurIPSW 2023 AutoMix: Mixing Models with Few-Shot Self and Meta Verification Aman Madaan, Pranjal Aggarwal, Ankit Anand, Srividya Pranavi Potharaju, Swaroop Mishra, Pei Zhou, Aditya Gupta, Dheeraj Rajagopal, Yiming Yang, Shyam Upadhyay, Mausam, Manaal Faruqui

ICML 2023 SemSup-XC: Semantic Supervision for Zero and Few-Shot Extreme Classification Pranjal Aggarwal, Ameet Deshpande, Karthik R Narasimhan