Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?

Open in new window