Alert button

GamePad: A Learning Environment for Theorem Proving

Jun 02, 2018
Daniel Huang, Prafulla Dhariwal, Dawn Song, Ilya Sutskever

Figure 1 for GamePad: A Learning Environment for Theorem Proving
Figure 2 for GamePad: A Learning Environment for Theorem Proving

Share this with someone who'll enjoy it:

View paper onarxiv iconopen_review iconOpenReview

Share this with someone who'll enjoy it: