Gireeja Ranade

Verifying Controllers Against Adversarial Examples with Bayesian Optimization

2018

Recent successes in reinforcement learning have lead to the development of complex controllers for realworld robots. As these robots are deployed in safety-critical applications and interact with humans, it becomes critical to ensure safety in …

LeanTutor: Towards a Verified AI Mathematical Proof Tutor

2025 · arXiv (Cornell University)

This paper considers the development of an AI-based provably-correct mathematical proof tutor. While Large Language Models (LLMs) allow seamless communication in natural language, they are error prone. Theorem provers such as Lean allow for provable-correctness, …