BibTeX record journals/corr/abs-1805-07563

download as .bib file

@article{DBLP:journals/corr/abs-1805-07563,
  author    = {Cezary Kaliszyk and
               Josef Urban and
               Henryk Michalewski and
               Mirek Ols{\'{a}}k},
  title     = {Reinforcement Learning of Theorem Proving},
  journal   = {CoRR},
  volume    = {abs/1805.07563},
  year      = {2018}
}
maintained by Schloss Dagstuhl LZI at University of Trier