BibTeX record conf/nips/ZhangWXWL23

download as .bib file

@inproceedings{DBLP:conf/nips/ZhangWXWL23,
  author       = {Kexun Zhang and
                  Danqing Wang and
                  Jingtao Xia and
                  William Yang Wang and
                  Lei Li},
  editor       = {Alice Oh and
                  Tristan Naumann and
                  Amir Globerson and
                  Kate Saenko and
                  Moritz Hardt and
                  Sergey Levine},
  title        = {{ALGO:} Synthesizing Algorithmic Programs with Generated Oracle Verifiers},
  booktitle    = {Advances in Neural Information Processing Systems 36: Annual Conference
                  on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
                  LA, USA, December 10 - 16, 2023},
  year         = {2023},
  url          = {http://papers.nips.cc/paper\_files/paper/2023/hash/abe1eb21ceb046209c96a0f5e7544ccc-Abstract-Conference.html},
  timestamp    = {Tue, 26 Mar 2024 08:04:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nips/ZhangWXWL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics