Does anybody have a good review or blog post on advances in neurosymbolic and program induction methods over the last 2 years? I'm looking for something technical that has the depth of explanation I would expect from, say, Lil' Log. My usual tools have failed me.