Deep Learning for Mathematical Reasoning (DL4MATH)

This repository is the reading list on Deep Learning for Mathematical Reasoning (DL4MATH). Contributors: Pan Lu @UCLA, Liang Qiu @UCLA, Wenhao Yu @Notre Dame, Sean Welleck @UW, Kai-Wei Chang @UCLA For more details, please refer to the paper: A Survey of Deep Learning for Mathematical Reasoning.