Nikil Ravi

Joined

January 2022

Names

Nikil Ravi (Preferred)

Emails

****@illinois.edu (Confirmed)

,

****@stanford.edu (Confirmed)

,

****@vals.ai (Confirmed)

Personal Links

Career & Education History

MS student

Computer Science, Computer Science Department, Stanford University (cs.stanford.edu)

2023 – 2025

Undergrad student

Liberal Arts and Sciences, Department of Computer Science (cs.illinois.edu)

2019 – 2023

Advisors, Relations & Conflicts

No relations added

Expertise

Deep Learning

2021 – 2023

Publications

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
Nikil Ravi, Kexing Ying, Vasilii Nesterov, Rayan Krishnan, Elif Uskuplu, Bingyu Xia, Janitha Aswedige, Langston Nashold
- ICLR 2026 Workshop VerifAI-2
- Readers: Everyone
REAL: Benchmarking Autonomous Agents on Deterministic Simulations of Real Websites
Divyansh Garg, Diego Caples, Andis Draguns, Nikil Ravi, Pranav Putta, Naman Garg, Prannay Hebbar, Youngchul Joo, Jindong Gu, Charles London, Christian Schroeder de Witt, Sumeet Ramesh Motwani
- NeurIPS 2025 Datasets and Benchmarks Track poster
- Readers: Everyone
REAL: Benchmarking Autonomous Agents on Deterministic Simulations of Real Websites
Divyansh Garg, Shaun VanWeelden, Diego Caples, Andis Draguns, Nikil Ravi, Pranav Putta, Naman Garg, Tomas Abraham, Michael Lara, Federico Lopez, James Liu, Atharva Gundawar, Prannay Hebbar, Youngchul Joo, Jindong Gu, Charles London, Christian A. Schröder de Witt, Sumeet Motwani
- CoRR 2025
- Readers: Everyone
FAIR principles for AI models, with a practical application for accelerated high energy diffraction microscopy
Nikil Ravi, Pranshu Chaturvedi, E. A. Huerta, Zhengchun Liu, Ryan Chard, Aristana Scourtas, K. J. Schmidt, Kyle Chard, Ben Blaiszik, Ian T. Foster
- Published: 01 Jan 2022, Last Modified: 29 Jun 2023
- CoRR 2022
- Readers: Everyone

Co-Authors

View all 35 co-authors