Introducing Command R+: Our new, most powerful model in the Command R family.
Date: May 14, 2024
Time: 3:00 PM - 4:00 PM
Location: Online
Bio: Ravi Mangal is a postdoctoral researcher at Carnegie Mellon University in the Security and Privacy Institute (CyLab). He graduated with a PhD in Computer Science from Georgia Institute of Technology in 2020. He is interested in all aspects of designing and applying formal methods for assuring the correctness and safety of software systems. His current research focuses on developing algorithms and methodologies for formally analyzing the safety and trustworthiness of learning-enabled systems.
Link to paper: "Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study" https://arxiv.org/abs/2302.04634
Ravi's webpage: https://www.andrew.cmu.edu/user/rmangal/
Add event to calendar