Hugging Face model: fvossel/Mistral-Small-24B-Instruct-groves
Author: fvossel
Created: 2026-04-21 06:34:11
Last modified: 2026-04-21 06:53:03
Pipeline: translation
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, NLTOFOL, NL, FOL, semantic-parsing, formal-logic, first-order-logic, compositional-generalization, translation, en, dataset:fvossel/groves, arxiv:2509.22338, base_model:mistralai/Mistral-Small-24B-Instruct-2501, base_model:finetune:mistralai/Mistral-Small-24B-Instruct-2501, license:apache-2.0, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: mistralai/Mistral-Small-24B-Instruct-2501
Card metadata:
base_model: mistralai/Mistral-Small-24B-Instruct-2501
library_name: transformers
license: apache-2.0
datasets: fvossel/groves
language: en
pipeline_tag: translation
tags: NLTOFOL, NL, FOL, semantic-parsing, formal-logic, first-order-logic, compositional-generalization