BibTeX record conf/icml/BansalLRSW19

• > Home > conf/icml/BansalLRSW19

@inproceedings{DBLP:conf/icml/BansalLRSW19,
  author       = {Kshitij Bansal and
                  Sarah M. Loos and
                  Markus N. Rabe and
                  Christian Szegedy and
                  Stewart Wilcox},
  editor       = {Kamalika Chaudhuri and
                  Ruslan Salakhutdinov},
  title        = {HOList: An Environment for Machine Learning of Higher Order Logic
                  Theorem Proving},
  booktitle    = {Proceedings of the 36th International Conference on Machine Learning,
                  {ICML} 2019, 9-15 June 2019, Long Beach, California, {USA}},
  series       = {Proceedings of Machine Learning Research},
  volume       = {97},
  pages        = {454--463},
  publisher    = {{PMLR}},
  year         = {2019},
  url          = {http://proceedings.mlr.press/v97/bansal19a.html},
  timestamp    = {Tue, 11 Jun 2019 15:37:38 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/BansalLRSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}