Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library

ICML 2020