%0 Conference Proceedings %T Generating Natural Language Proofs with Verifier-Guided Search %A Yang, Kaiyu %A Deng, Jia %A Chen, Danqi %Y Goldberg, Yoav %Y Kozareva, Zornitsa %Y Zhang, Yue %S Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing %D 2022 %8 December %I Association for Computational Linguistics %C Abu Dhabi, United Arab Emirates %F yang-etal-2022-generating %R 10.18653/v1/2022.emnlp-main.7 %U https://aclanthology.org/2022.emnlp-main.7/ %U https://doi.org/10.18653/v1/2022.emnlp-main.7 %P 89-105