Reposted by Gabriele Venturato
If you care about enforcing constraints over time without breaking your computational resources, then read our new blog post over at @aihub.org!
It focuses on showing how our neurosymbolic Markov models beat the SOTA in out-of-distribution generalisation and so much more.
