C Malon,
M Min, X Zhu - … of the 2024 Conference on Empirical …, 2024 - aclanthology.org
When performing complex multi-step reasoning tasks, the ability of Large Language Models
(LLMs) to derive structured intermediate proof steps is important for ensuring that the models …