%0 Conference Paper %1 conf/icml/PeiBSSY23 %A Pei, Kexin %A Bieber, David %A Shi, Kensen %A Sutton, Charles %A Yin, Pengcheng %B ICML %D 2023 %E Krause, Andreas %E Brunskill, Emma %E Cho, Kyunghyun %E Engelhardt, Barbara %E Sabato, Sivan %E Scarlett, Jonathan %I PMLR %K dblp %P 27496-27520 %T Can Large Language Models Reason about Program Invariants? %U http://dblp.uni-trier.de/db/conf/icml/icml2023.html#PeiBSSY23 %V 202

@inproceedings{conf/icml/PeiBSSY23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Pei, Kexin and Bieber, David and Shi, Kensen and Sutton, Charles and Yin, Pengcheng}, biburl = {https://www.bibsonomy.org/bibtex/256206ba79b59edb274c891069b7dd67a/dblp}, booktitle = {ICML}, crossref = {conf/icml/2023}, editor = {Krause, Andreas and Brunskill, Emma and Cho, Kyunghyun and Engelhardt, Barbara and Sabato, Sivan and Scarlett, Jonathan}, ee = {https://proceedings.mlr.press/v202/pei23a.html}, interhash = {dc7555d5c9b7b6cd8792f702e0d89ef8}, intrahash = {56206ba79b59edb274c891069b7dd67a}, keywords = {dblp}, pages = {27496-27520}, publisher = {PMLR}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-04-10T01:43:32.000+0200}, title = {Can Large Language Models Reason about Program Invariants?}, url = {http://dblp.uni-trier.de/db/conf/icml/icml2023.html#PeiBSSY23}, volume = 202, year = 2023 }