Specification-Guided Reinforcement Learning | Suguman Bansal | Neuro-Symbolic Wednesdays скачать в хорошем качестве

Specification-Guided Reinforcement Learning | Suguman Bansal | Neuro-Symbolic Wednesdays

💬 Discord:   / discord   💻 GitHub: https://github.com/centaurinstitute 🤝 LinkedIn:   / centaur-ai-institute   📢 New Initiative: Neuro-Symbolic Agentic Protocol ⭐ Star us on GitHub https://github.com/centaurinstitute/n... — 📘 This week, Suguman Bansal from Georgia Tech presents 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, Suguman will cover recent progress in using logical specifications in RL and discuss the challenges it faces moving forward. 🎓 Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. 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 2025 Amazon Research Award, 2023 ATVA Best Paper Award, 2020 NSF CI Fellowship, has been named a 2021 MIT EECS Rising Star, was a Keynote Speaker at the 44th Foundations of Software Technology and Theoretical Computer Science (FSTTCS) and the 29th Static Analysis Symposium (SAS) 2022, and an Invited Tutorial Speaker at 28th International Joint Conference on Theory and Practice of Software (ETAPS) 2025. — 🗨️ ​Join us for an interactive session exploring Neuro-Symbolic AI, the emerging paradigm that blends the strengths of neural networks with symbolic reasoning. We will discuss how hybrid approaches can enhance generalization, interpretability, and reasoning, and how these methods are shaping the future of intelligent systems. Whether you’re a researcher, engineer, or simply curious about the cutting edge of AI, you’ll find an engaging space to learn, connect, and exchange ideas. Event Format: 🔍 Reading Group 🎙️ Panel Discussion 🧩 Tutorials/Workshop Series 💬 Research Roundtable 🛠️ Open-Source Project Review 📄 Paper Pitch 🤝 Collaboration Hour 🍵 Networking Mixer #AI #NeuroSymbolic #FutureOfAI