LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

Open in new window