maximoss/follie

71 downloads in 30 days0 likesLast modified 7 Sep 2026View on Hugging Face

The declared licence (cc-by-nc-sa-4.0) is classified as having use restrictions.

Declared licence: cc-by-nc-sa-4.0, from the tagEvidence: README.md at b0f8512
Licence files: No licence file at the top level of the repositoryEvidence: file list at b0f8512
Declared sources: None listed in the card metadata
Access gated on Hugging Face: No

Each cell links to what was checked: a file, a file list or a Hub record.

Tasks

Citation text from the card

@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://aclanthology.org/2025.iwcs-main.21/",
    pages = "242--253",
    ISBN = "979-8-89176-316-6",
    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

All datasets marked Use restrictions | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "maximoss/follie" })
signal: "restrictive"
stated_licence: "cc-by-nc-sa-4.0"
sources: 0