Su, Y., Liu, M., & Guo, Z. (2023). Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning.
Chicago Style (17th ed.) CitationSu, Ying, Mingwen Liu, and Zhijiang Guo. Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning. 2023.
MLA (9th ed.) CitationSu, Ying, et al. Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning. 2023.
Warning: These citations may not always be 100% accurate.