Generating Natural Language Proofs with Verifier-Guided Search Kaiyu Yang author Jia Deng author Danqi Chen author 2022-12 text Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing Yoav Goldberg editor Zornitsa Kozareva editor Yue Zhang editor Association for Computational Linguistics Abu Dhabi, United Arab Emirates conference publication yang-etal-2022-generating 10.18653/v1/2022.emnlp-main.7 https://aclanthology.org/2022.emnlp-main.7/ 2022-12 89 105