Hugging Face model: fvossel/Llama-3.1-8B-Instruct-groves
Author: fvossel
Created: 2026-04-21 06:32:46
Last modified: 2026-04-24 13:21:41
Pipeline: translation
Library: transformers
Likes: 0 | Downloads: 11
Tags: transformers, safetensors, NLTOFOL, NL, FOL, semantic-parsing, formal-logic, first-order-logic, compositional-generalization, translation, en, dataset:fvossel/groves, base_model:meta-llama/Llama-3.1-8B-Instruct, base_model:finetune:meta-llama/Llama-3.1-8B-Instruct, license:apache-2.0, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: meta-llama/Llama-3.1-8B-Instruct
Card metadata:
base_model: meta-llama/Llama-3.1-8B-Instruct
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