BibTeX record conf/nips/KaliszykUMO18

download as .bib file

@inproceedings{DBLP:conf/nips/KaliszykUMO18,
  author    = {Cezary Kaliszyk and
               Josef Urban and
               Henryk Michalewski and
               Miroslav Ols{\'{a}}k},
  editor    = {Samy Bengio and
               Hanna M. Wallach and
               Hugo Larochelle and
               Kristen Grauman and
               Nicol{\`{o}} Cesa{-}Bianchi and
               Roman Garnett},
  title     = {Reinforcement Learning of Theorem Proving},
  booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
               on Neural Information Processing Systems 2018, NeurIPS 2018, December
               3-8, 2018, Montr{\'{e}}al, Canada},
  pages     = {8836--8847},
  year      = {2018},
  url       = {https://proceedings.neurips.cc/paper/2018/hash/55acf8539596d25624059980986aaa78-Abstract.html},
  timestamp = {Thu, 21 Jan 2021 15:15:21 +0100},
  biburl    = {https://dblp.org/rec/conf/nips/KaliszykUMO18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics