Title: Artificial Intelligence to Assist Mathematical Reasoning