BibTeX record journals/corr/abs-1911-02065

• > Home > journals/corr/abs-1911-02065

@article{DBLP:journals/corr/abs-1911-02065,
  author       = {Maxwell Crouse and
                  Spencer Whitehead and
                  Ibrahim Abdelaziz and
                  Bassem Makni and
                  Cristina Cornelio and
                  Pavan Kapanipathi and
                  Edwin Pell and
                  Kavitha Srinivas and
                  Veronika Thost and
                  Michael Witbrock and
                  Achille Fokoue},
  title        = {A Deep Reinforcement Learning based Approach to Learning Transferable
                  Proof Guidance Strategies},
  journal      = {CoRR},
  volume       = {abs/1911.02065},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.02065},
  eprinttype    = {arXiv},
  eprint       = {1911.02065},
  timestamp    = {Mon, 11 Nov 2019 18:38:09 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-02065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}