{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:31:38Z","timestamp":1773246698853,"version":"3.50.1"},"publisher-location":"Stroudsburg, PA, USA","reference-count":0,"publisher":"Association for Computational Linguistics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.18653\/v1\/2023.emnlp-main.313","type":"proceedings-article","created":{"date-parts":[[2023,12,10]],"date-time":"2023-12-10T21:58:19Z","timestamp":1702245499000},"page":"5153-5176","source":"Crossref","is-referenced-by-count":34,"title":["LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers"],"prefix":"10.18653","author":[{"given":"Theo","family":"Olausson","sequence":"first","affiliation":[]},{"given":"Alex","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Ben","family":"Lipkin","sequence":"additional","affiliation":[]},{"given":"Cedegao","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Armando","family":"Solar-Lezama","sequence":"additional","affiliation":[]},{"given":"Joshua","family":"Tenenbaum","sequence":"additional","affiliation":[]},{"given":"Roger","family":"Levy","sequence":"additional","affiliation":[]}],"member":"1643","event":{"name":"Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing","location":"Singapore","start":{"date-parts":[[2023,12]]},"end":{"date-parts":[[2023,12]]}},"container-title":["Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing"],"original-title":[],"deposited":{"date-parts":[[2023,12,10]],"date-time":"2023-12-10T22:04:14Z","timestamp":1702245854000},"score":1,"resource":{"primary":{"URL":"https:\/\/aclanthology.org\/2023.emnlp-main.313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":0,"URL":"https:\/\/doi.org\/10.18653\/v1\/2023.emnlp-main.313","relation":{},"subject":[],"published":{"date-parts":[[2023]]}}}