%0 Conference Paper %1 conf/emnlp/OlaussonGLZSTL23 %A Olausson, Theo %A Gu, Alex %A Lipkin, Benjamin %A Zhang, Cedegao E. %A Solar-Lezama, Armando %A Tenenbaum, Joshua B. %A Levy, Roger %B EMNLP %D 2023 %E Bouamor, Houda %E Pino, Juan %E Bali, Kalika %I Association for Computational Linguistics %K dblp %P 5153-5176 %T LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers. %U http://dblp.uni-trier.de/db/conf/emnlp/emnlp2023.html#OlaussonGLZSTL23 %@ 979-8-89176-060-8

@inproceedings{conf/emnlp/OlaussonGLZSTL23, added-at = {2024-04-12T00:00:00.000+0200}, author = {Olausson, Theo and Gu, Alex and Lipkin, Benjamin and Zhang, Cedegao E. and Solar-Lezama, Armando and Tenenbaum, Joshua B. and Levy, Roger}, biburl = {https://www.bibsonomy.org/bibtex/2c3db26d9b398738398b70fbd7132145d/dblp}, booktitle = {EMNLP}, crossref = {conf/emnlp/2023}, editor = {Bouamor, Houda and Pino, Juan and Bali, Kalika}, ee = {https://aclanthology.org/2023.emnlp-main.313}, interhash = {8fc54ffe9ffb5bae1c1ac89246aec4da}, intrahash = {c3db26d9b398738398b70fbd7132145d}, isbn = {979-8-89176-060-8}, keywords = {dblp}, pages = {5153-5176}, publisher = {Association for Computational Linguistics}, timestamp = {2024-04-15T07:07:10.000+0200}, title = {LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers.}, url = {http://dblp.uni-trier.de/db/conf/emnlp/emnlp2023.html#OlaussonGLZSTL23}, year = 2023 }