Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic Paper • 2308.07336 • Published Aug 11, 2023