Nikil Ravi

According to our database, Nikil Ravi authored at least 5 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

CoRR, March, 2026

Valkyrie: A Microservice-Based Framework for Scalable Evaluation of AI Agents.

Jarett Forzano, Omar Almatov, Langston Nashold, Nikil Ravi, Orestes Kassian

Proceedings of the ACM Conference on AI and Agentic Systems, 2026

2025

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 Ramesh Motwani

CoRR, April, 2025

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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2022

FAIR principles for AI models, with a practical application for accelerated high energy diffraction microscopy.

Nikil Ravi, Pranshu Chaturvedi, Eliu A. Huerta, Zhengchun Liu, Ryan Chard, Aristana Scourtas, K. J. Schmidt, Kyle Chard, Ben Blaiszik, Ian T. Foster

CoRR, 2022