A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. - Maxwell Crouse; Spencer Whitehead; Ibrahim Abdelaziz; Bassem Makni; Cristina Cornelio; Pavan Kapanipathi; Edwin Pell; Kavitha Srinivas; Veronika Thost; Michael Witbrock; Achille Fokoue (CoRR, 2019)