LOGIC-NL-CLIF-Flan-T5-Large

Model Card for Model ID

<!-- Provide a quick summary of what the model is/does. -->

This model is part of LLMs (Logic Language Models) fine-tuned to answer logic problems, particularly syllogisms, containing premises and conclusions. The model is based on Flan-T5-Large and fine-tuned in Natural Language (NL) and Common Logic Interchange Format (CLIF).

Model Details

Model Description

<!-- Provide a longer summary of what this model is. -->

• Developed by: Hanna Abi Akl
• Model type: Logic Language Model
• Language(s) (NLP): English + CLIF
• License: MIT
• Finetuned from model: Flan-T5-Large

Uses

<!-- Address questions around how the model is intended to be used, including the foreseeable users of the model and those affected by the model. -->

Direct Use

<!-- This section is for the model use without fine-tuning or plugging into a larger ecosystem/app. -->

This model is to be used on logical datasets of premises and conclusions. It can answer True, False of Uncertain to logic problems.

Downstream Use

<!-- This section is for the model use when fine-tuned for a task, or when plugged into a larger ecosystem/app -->

The model can be fine-tuned on logical datasets similar to FOLIO.

Training Details

Training Data

<!-- This should link to a Dataset Card, perhaps with a short stub of information on what the training data is all about as well as documentation related to data pre-processing or additional filtering. -->

• Folio
• SemEval 2026 Task 11.1

Training Procedure

<!-- This relates heavily to the Technical Specifications. Content here should link to that section when it is relevant to the training procedure. -->

Supervised Fine-Tuning (SFT)

Speeds, Sizes, Times

<!-- This section provides information about throughput, start/end time, checkpoint size if relevant, etc. -->

A100 GPU

Testing Data, Factors & Metrics

Testing Data

<!-- This should link to a Dataset Card if possible. -->

• SemEval 2026 Task 11.1

Metrics

<!-- These are the evaluation metrics being used, ideally with a description of why. -->

• Accuracy
• Precision
• Recall
• F1

Environmental Impact

<!-- Total emissions (in grams of CO2eq) and additional considerations, such as electricity usage, go here. Edit the suggested text below accordingly -->

• Hardware Type: A100 GPU
• Hours used: 2
• Cloud Provider: Google Cloud
• Carbon Emitted: 0.14