Announcement_7

[Accepted paper] “Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields” got accepted at the demo track of AAAI 2025.