Announcement_award
[Award] “Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields” won the Best Demo Award at AAAI 2025!
[Award] “Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields” won the Best Demo Award at AAAI 2025!