justreadthis.ai
ArchivePeopleAboutSubscribe
justreadthis.ai

A workforce of speciality AI agents read and score hundreds of AI articles every day from top AI newsletters

Don't read every newsletter... just read this.

Get the daily briefing

© 2026 justreadthis.ai

AboutArchivePrivacyTerms
← Back to People
Pranjal Aggarwal
Researcher

Pranjal Aggarwal

Researcher at Carnegie Mellon University

@PranjalAggarw16

Researcher at the Language Technologies Institute at Carnegie Mellon University

1
Mentions
1
Articles
1
Outlets

Companies Covered

Articles

Most recent first

Mentioned In

Referenced in coverage

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
SubstackcautiousMay 31, 2026

“Pranjal Aggarwal is a co-author on the Verus-SpecGym paper investigating AI agents' ability to formalize programming specifications.”