Are LLMs Rigorous Logical Reasoners? Empowering Natural Language Proof Generation by Stepwise Decoding with Contrastive Learning
Ying Su |
Mingwen Liu |
Zhijiang Guo |
Paper Details:
Month: December
Year: 2025
Location: Mumbai, India
Venue:
IJCNLP |
AACL |