%0 Conference Paper %1 conf/iclr/JiangWZL0LJLW23 %A Jiang, Albert Qiaochu %A Welleck, Sean %A Zhou, Jin Peng %A Lacroix, Timothée %A Liu, Jiacheng %A Li, Wenda %A Jamnik, Mateja %A Lample, Guillaume %A Wu, Yuhuai %B ICLR %D 2023 %I OpenReview.net %K dblp %T Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs. %U http://dblp.uni-trier.de/db/conf/iclr/iclr2023.html#JiangWZL0LJLW23

@inproceedings{conf/iclr/JiangWZL0LJLW23, added-at = {2023-06-30T00:00:00.000+0200}, author = {Jiang, Albert Qiaochu and Welleck, Sean and Zhou, Jin Peng and Lacroix, Timothée and Liu, Jiacheng and Li, Wenda and Jamnik, Mateja and Lample, Guillaume and Wu, Yuhuai}, biburl = {https://www.bibsonomy.org/bibtex/2d2444fee47625f6af0258febd5d6247c/dblp}, booktitle = {ICLR}, crossref = {conf/iclr/2023}, ee = {https://openreview.net/pdf?id=SMa9EAovKMC}, interhash = {e335f84a84e393f273c00190629778e7}, intrahash = {d2444fee47625f6af0258febd5d6247c}, keywords = {dblp}, publisher = {OpenReview.net}, timestamp = {2024-04-10T01:21:52.000+0200}, title = {Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.}, url = {http://dblp.uni-trier.de/db/conf/iclr/iclr2023.html#JiangWZL0LJLW23}, year = 2023 }