Follow
Nikil Ravi
Nikil Ravi
Stanford University
Verified email at stanford.edu
Title
Cited by
Cited by
Year
FAIR principles for AI models with a practical application for accelerated high energy diffraction microscopy
N Ravi, P Chaturvedi, EA Huerta, Z Liu, R Chard, A Scourtas, KJ Schmidt, ...
Scientific Data 9 (1), 657, 2022
132022
Theorem Proving in Lean
P Hieronymi, V Karve, E Blanchard, S Harman, N Ravi, F Zhao, ...
2020
BEAST: Building an Embodied Action-prediction System with Trajectory data
N Chakraborty, R Sidhu, B Abdullai, H Chen, N Ravi, A Ankur, D Prasad, ...
Amazon Science, 0
The system can't perform the operation now. Try again later.
Articles 1–3