@inproceedings{skandalis-etal-2025-neurosymbolic,
    title = "Neurosymbolic {AI} for Natural Language Inference in {F}rench : combining {LLM}s and theorem provers for semantic parsing and natural language reasoning",
    author = "Skandalis, Maximos  and
      Abzianidze, Lasha  and
      Moot, Richard  and
      Retor{\'e}, Christian  and
      Robillard, Simon",
    editor = "Evang, Kilian  and
      Kallmeyer, Laura  and
      Pogodalla, Sylvain",
    booktitle = "Proceedings of the 16th International Conference on Computational Semantics",
    month = sep,
    year = "2025",
    address = {D{\"u}sseldorf, Germany},
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/iwcs-25-ingestion/2025.iwcs-1.22/",
    pages = "252--263",
    ISBN = "979-8-89176-316-6"
}