LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations Shashank Kirtania author Priyanshu Gupta author Arjun Radhakrishna author 2024-08 text Proceedings of the 2nd Workshop on Natural Language Reasoning and Structured Explanations (@ACL 2024) Bhavana Dalvi Mishra editor Greg Durrett editor Peter Jansen editor Ben Lipkin editor Danilo Neves Ribeiro editor Lionel Wong editor Xi Ye editor Wenting Zhao editor Association for Computational Linguistics Bangkok, Thailand conference publication kirtania-etal-2024-logic https://aclanthology.org/2024.nlrse-1.6/ 2024-08 56 63