%0 Conference Paper %1 conf/naacl/JiangFC24 %A Jiang, Dongwei %A Fonseca, Marcio %A Cohen, Shay B. %B NAACL-HLT %D 2024 %E Duh, Kevin %E Gómez-Adorno, Helena %E Bethard, Steven %I Association for Computational Linguistics %K dblp %P 7497-7510 %T LeanReasoner: Boosting Complex Logical Reasoning with Lean. %U http://dblp.uni-trier.de/db/conf/naacl/naacl2024.html#JiangFC24 %@ 979-8-89176-114-8

@inproceedings{conf/naacl/JiangFC24, added-at = {2024-08-29T00:00:00.000+0200}, author = {Jiang, Dongwei and Fonseca, Marcio and Cohen, Shay B.}, biburl = {https://www.bibsonomy.org/bibtex/2db31943948179f75aa44180bb6c75118/dblp}, booktitle = {NAACL-HLT}, crossref = {conf/naacl/2024}, editor = {Duh, Kevin and Gómez-Adorno, Helena and Bethard, Steven}, ee = {https://doi.org/10.18653/v1/2024.naacl-long.416}, interhash = {3c6fe9e6730f046824afe982f87f6ba0}, intrahash = {db31943948179f75aa44180bb6c75118}, isbn = {979-8-89176-114-8}, keywords = {dblp}, pages = {7497-7510}, publisher = {Association for Computational Linguistics}, timestamp = {2024-09-02T07:07:29.000+0200}, title = {LeanReasoner: Boosting Complex Logical Reasoning with Lean.}, url = {http://dblp.uni-trier.de/db/conf/naacl/naacl2024.html#JiangFC24}, year = 2024 }