Pranjal Aggarwal
Scholar

Pranjal Aggarwal

Google Scholar ID: KFTttp0AAAAJ
Carnegie Mellon University
Google Scholar↗
Citations & Impact
All-time
Citations
442
 
H-index
7
 
i10-index
7
 
Publications
12
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
3 items
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
2026
Cited
0
On the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists
2026
Cited
0
Gym-Anything: Turn any Software into an Agent Environment
2026
Cited
0
Resume (English only)
Co-authors
13 total
Yiming Yang
Yiming Yang
Professor, Carnegie Mellon University
Co-author 2
Co-author 2
Ankit Anand
Ankit Anand
Research Scientist, Google DeepMind
Shyam Upadhyay
Shyam Upadhyay
Staff Research Scientist, Google
Karthik Narasimhan
Karthik Narasimhan
Associate Professor, Princeton University
Ameet Deshpande
Ameet Deshpande
Princeton University
Swaroop Mishra
Swaroop Mishra
Research Scientist, Google DeepMind
Manaal Faruqui
Manaal Faruqui
Research Scientist, Meta