LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations. - Shashank Kirtania; Priyanshu Gupta; Arjun Radhakirshna (CoRR, 2024)