Bonus points if that is combined with modern differentiable methods and SAT/SMT, i.e. neurosymbolic AI.
I think the issue in this area is mostly to convince and sell to bureaucratic institutions.