Edwin Pell

According to our database, Edwin Pell authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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