From the article > Their solution? A hybrid model that vastly outperformed what a purely deep net would have done, incorporating both back-propagation and (con

From the article > Their solution? A hybrid model that vastly outperformed what a purely deep net would have done, incorporating both back-propagation and (continuous versions) of the primitives of symbol manipulation, including both explicit variables and operations over variables This is what I called "hardcoding some kind of symbolic logic". Is it not?