Beta
Explore
Marketplace
Neural Labs
Playground
Wallet
Docs
Llama-3.1-8B-Instruct-LogLim – AI Model by Kurosawama | AlphaNeural AI | AlphaNeural AI
You can deploy this model and start earning money today!
Kurosawama
/
Llama-3.1-8B-Instruct-LogLim
like
0
transformers
safetensors
trl
dpo
first-order-logic
en
yale-nlp/FOLIO
meta-llama/Llama-3.1-8B-Instruct
finetune
endpoints_compatible
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
Model Card for Model ID
Aligned version of meta-llama/Llama-3.1-8B-Instruct 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 Llama 3 uses]
Finetuned from model [meta-llama/Llama-3.1-8B-Instruct]:
Model Sources [optional]
Repository:
[
Github
]
Paper:
Into The Limits of Logic: Alignment Methods for Formal Logic Reasoning
Evaluation
Citation [optional]
BibTeX:
[More Information Needed]
