Counterexample-trained neural network model of rate and temperature dependent hardening with dynamic strain aging. (April 2022)