{
 "id": "maximoss/follie",
 "owner": "maximoss",
 "name": "follie",
 "downloads": 71,
 "likes": 0,
 "last_modified": "2026-09-07T16:21:14.000Z",
 "stated_licence": "cc-by-nc-sa-4.0",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [],
 "gated": false,
 "tasks": [
  "text-classification",
  "text-generation"
 ],
 "citation": "@inproceedings{skandalis-etal-2025-neurosymbolic,\n    title = \"Neurosymbolic {AI} for Natural Language Inference in {F}rench : combining {LLM}s and theorem provers for semantic parsing and natural language reasoning\",\n    author = \"Skandalis, Maximos  and\n      Abzianidze, Lasha  and\n      Moot, Richard  and\n      Retor{\\'e}, Christian  and\n      Robillard, Simon\",\n    editor = \"Evang, Kilian  and\n      Kallmeyer, Laura  and\n      Pogodalla, Sylvain\",\n    booktitle = \"Proceedings of the 16th International Conference on Computational Semantics\",\n    month = sep,\n    year = \"2025\",\n    address = {D{\\\"u}sseldorf, Germany},\n    publisher = \"Association for Computational Linguistics\",\n    url = \"https://aclanthology.org/2025.iwcs-main.21/\",\n    pages = \"242--253\",\n    ISBN = \"979-8-89176-316-6\",\n    abstract = \"In this article, we describe the first comprehensive neurosymbolic pipeline for the task of Natural Language Inference (NLI) for French, with the synergy of Large Language Models (CamemBERT) and automated theorem provers (GrailLight, LangPro). LLMs prepare the input for GrailLight by tagging each token with Part-of-Speech and grammatical information based on the Type-Logical Grammar formalism. GrailLight then produces the lambda-terms given as input to the LangPro theorem prover, a tableau-based theorem prover for natural logic originally developped for English. Currently, the proposed system works on the French version of SICK dataset. The results obtained are comparable t",
 "signal": "restrictive",
 "reason": "The declared licence (cc-by-nc-sa-4.0) is classified as having use restrictions.",
 "revision": "b0f85129e356bc46707294c7865c4c881541f6fe",
 "stated_evidence": "https://huggingface.co/datasets/maximoss/follie/blob/b0f85129e356bc46707294c7865c4c881541f6fe/README.md",
 "file_evidence": "https://huggingface.co/datasets/maximoss/follie/tree/b0f85129e356bc46707294c7865c4c881541f6fe",
 "card_nc": false
}