Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning.

Ying Su, Mingwen Liu, Zhijiang Guo

Browse the full IJCNLP paper archive.