Still not clear but we will leave it here :) Btw, I use both deep learning and knowledge based systems in my work (but not formal verification) but don't like

Still not clear but we will leave it here :) Btw, I use both deep learning and knowledge based systems in my work (but not formal verification) but don't like advertising that goes in AI by academics from all camps(don't want another AI winter).