@inproceedings{olausson-etal-2023-linc,
    title = "{LINC}: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers",
    author = "Olausson, Theo  and
      Gu, Alex  and
      Lipkin, Ben  and
      Zhang, Cedegao  and
      Solar-Lezama, Armando  and
      Tenenbaum, Joshua  and
      Levy, Roger",
    editor = "Bouamor, Houda  and
      Pino, Juan  and
      Bali, Kalika",
    booktitle = "Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing",
    month = dec,
    year = "2023",
    address = "Singapore",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/moar-dois/2023.emnlp-main.313/",
    doi = "10.18653/v1/2023.emnlp-main.313",
    pages = "5153--5176"
}