MMODELYST
People/Pranjal Aggarwal
PPL

Pranjal Aggarwal

Papers (2)
Verus-SpecGym: An Agentic Environment for Evaluating Specification AutoformalizationOn the limits and opportunities of AI reviewers: Reviewing the reviews of Nature-family papers with 45 expert scientists