NToC Our proposed method NeuralToCircuit(NToC) in the paper Out-of-Distribution Generalization by Neural-Symbolic Joint Training