LeanReasoner: Boosting Complex Logical Reasoning with Lean Dongwei Jiang author Marcio Fonseca author Shay Cohen author 2024-06 text Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) Kevin Duh editor Helena Gomez editor Steven Bethard editor Association for Computational Linguistics Mexico City, Mexico conference publication jiang-etal-2024-leanreasoner 10.18653/v1/2024.naacl-long.416 https://aclanthology.org/2024.naacl-long.416/ 2024-06 7497 7510