Beta

Explore
Marketplace
Neural Labs
Chat
Wallet
Docs

Beta

Explore Marketplace Neural Labs Wallet Docs

Build

Manage

My assets Manage wallet Organization

Community

Discord X (Twitter)Telegram

Docs Privacy Policy Terms and Conditions

Proud member of

Proud member of

Docs Cookie Policy

Privacy Policy Terms and Conditions

© 2026 AlphaNeural AI. All rights reserved.

LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter – AI Model by jzfeng | AlphaNeural AI

You can deploy this model and start earning money today!

jzfeng/
LoGiPT-CodeLlama-13b-Instruct-hf-proofwriter

like

0

text-generation

logical reasoning

question-answering

jzfeng/LoGiPT-data

autotrain_compatible

text-generation-inference

endpoints_compatible

Views

No views yet

Model Details

These are the trained models for LoGiPT from NAACL'24 paper: "Language Models can be Deductive Solvers".

LoGiPT-[A]-[B]: The specific model version of LoGiPT
- [A]: The backbone model, which can be 'vicuna-13b-v1.5-16k', 'CodeLlama-13b-hf' or 'CodeLlama-13b-Instruct-hf'.
- [B]: The training data, which can be 'proofwriter' or 'prontoqa'.

All models are organised in Vicuna-style and trained by FastChat-0.2.30.

All training examples are organised in Json-format and Vicuna-style in jzfeng/LoGiPT-data.

If you find these models helpful, please cite our NAACL'24 paper: (or Arxiv version: https://arxiv.org/abs/2311.06158)

shell

@inproceedings{feng2024language,
  title={Language Models can be Deductive Solvers},
  author={Feng, Jiazhan and Xu, Ruochen and Hao, Junheng and Sharma, Hiteshi and Shen, Yelong and Zhao, Dongyan and Chen, Weizhu},
  booktitle={Findings of the Association for Computational Linguistics: NAACL 2024},
  pages={4026--4042},
  year={2024}
}