Milan Ganai

Contacts:

Email: mganai at stanford dot edu

Milan Ganai

Milan Ganai is a PhD student in the Department of Computer Science advised by Professors Marco Pavone and Clark Barrett. His research interests lie at the intersection of safe AI and robotics, concentrating on developing generalizable physical reasoning capabilities for autonomous systems to reliably adapt to novel environments. Prior to Stanford, he received his BS in Computer Science, summa cum laude with highest distinction, and MS in Computer Science at UC San Diego, where he was a Jacobs School Scholar and Regents Scholar. He performed research in the intersection of control and reinforcement learning under Professors Sicun Gao and Sylvia Herbert and has interned at Amazon Web Services.


ASL Publications

  1. M. Ganai, R. Sinha, C. Agia, D. Morton, L. Di Lillo, and M. Pavone, “Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning,” in Conf. on Robot Learning, Seoul, Korea, 2025. (In Press)

    [BibTeX] [Abstract]

    Abstract: While foundation models offer promise toward improving robot safety in out-of-distribution (OOD) scenarios, how to effectively harness their generalist knowledge for real-time, dynamically feasible response remains a crucial problem. We present FORTRESS, a joint reasoning and planning framework that generates semantically safe fallback strategies to prevent safety-critical, OOD failures. At a low frequency under nominal operation, FORTRESS uses multi-modal foundation models to anticipate possible failure modes and identify safe fallback sets. When a runtime monitor triggers a fallback response, FORTRESS rapidly synthesizes plans to fallback goals while inferring and avoiding semantically unsafe regions in real time. By bridging open-world, multi-modal reasoning with dynamics-aware planning, we eliminate the need for hard-coded fallbacks and human safety interventions. FORTRESS outperforms on-the-fly prompting of slow reasoning models in safety classification accuracy on synthetic benchmarks and real-world ANYmal robot data, and further improves system safety and planning success in simulation and on quadrotor hardware for urban navigation.

     
    @inproceedings{GanaiSinhaEtAl2025,
  author = {Ganai, M. and Sinha, R. and Agia, C. and Morton, D. and Di Lillo, L. and Pavone, M.},
  title = {Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning},
  booktitle = {{Conf. on Robot Learning}},
  year = {2025},
  month = jul,
  address = {Seoul, Korea},
  keywords = {press},
  owner = {mganai},
  url = {https://arxiv.org/abs/2505.10547},
  timestamp = {2025-06-08},
  note = {oral}
}