Deductive Additivity for Planning of Natural Language Proofs Zayne Sprague author Kaj Bostrom author Swarat Chaudhuri author Greg Durrett author 2023-06 text Proceedings of the 1st Workshop on Natural Language Reasoning and Structured Explanations (NLRSE) Bhavana Dalvi Mishra editor Greg Durrett editor Peter Jansen editor Danilo Neves Ribeiro editor Jason Wei editor Association for Computational Linguistics Toronto, Canada conference publication sprague-etal-2023-deductive 10.18653/v1/2023.nlrse-1.11 https://aclanthology.org/2023.nlrse-1.11/ 2023-06 139 156