NeSy-MM Relational neurosymbolic Markov models NeSy MiniHack Neurosymbolic RL with Probabilistic Logic Shields mapl-cirup MArkov PLanning with CIRcuit bellman UPdates BLACK Bounded Lᴛʟ sAtisfiability ChecKer