Logical Reasoning in Reinforcement Learning: A Boon or Bane? KeynoteVirtual
Reinforcement Learning (RL) is being touted to revolutionize the way we design systems. However, a key challenge to reaching that holy grail comes from the lack of guarantees that the synthesized systems offer. Logic and formal reasoning can address some of these issues, or can they? In this talk, I will cover recent progress in using logical specifications in RL and discuss the challenges it faces moving forward.
Suguman Bansal is an incoming Assistant Professor in the School of Computing at Georgia Institute of Technology, starting in January 2023. Her research is focused on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she was an NSF/CRA Computing Innovation Postdoctoral Fellow at the University of Pennsylvania, mentored by Prof. Rajeev Alur and completed her Ph.D. at Rice University advised by Prof. Moshe Y. Vardi. She is the recipient of the 2020 NSF CI Fellowship and has been named a 2021 MIT EECS Rising Star.
Mon 5 DecDisplayed time zone: Auckland, Wellington change
15:30 - 17:00 | Keynote 2, Radhia Cousot Award, PC Chairs ReportSAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
15:30 60mKeynote | Logical Reasoning in Reinforcement Learning: A Boon or Bane? KeynoteVirtual SAS Suguman Bansal Rice University, USA | ||
16:30 10mAwards | Radhia Cousot Award SAS Caterina Urban Inria & École Normale Supérieure | Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign | ||
16:40 20mDay closing | PC Chairs Report SAS Caterina Urban Inria & École Normale Supérieure | Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign | ||
