Kurosawama
/

gemma-3-1b-it-LogLim

first-order-logic

Model card Files Files and versions

Model Card for Model ID

Aligned version of gemma-3-1b-it for Logical Reasoning

Model Description

This is an aligned model using DPO in order to improve the base model's performance in formal reasoning in first-order logic.

Developed by: [Grupo de Ingeniería Lingüística]
Language(s) (NLP): [English]
License: [Whichever one Gemma uses]
Finetuned from model [google/gemma-3-1b-it]:

Model Sources [optional]

Repository: [Github]
Paper: Into The Limits of Logic: Alignment Methods for Formal Logic Reasoning

Evaluation

Citation [optional]

BibTeX:

[More Information Needed]

Downloads last month: -; Downloads are not tracked for this model. How to track

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for Kurosawama/gemma-3-1b-it-LogLim

Base model

google/gemma-3-1b-pt

Finetuned

google/gemma-3-1b-it

Finetuned

(546)

this model

Dataset used to train Kurosawama/gemma-3-1b-it-LogLim

Collection including Kurosawama/gemma-3-1b-it-LogLim

Into The Limits of Logic

Models and datasets used in the experiments reported in the paper Into The Limits of Logic: Alignment Methods for Logical Reasoning • 14 items • Updated Oct 2, 2025