These are the training data for LoGiPT from NAACL'24 paper: "Language Models can be Deductive Solvers".
LoGiPT-data-ProofWriter.json: Instruction-tuning data for LoGiPT constructed from ProofWriter.
LoGiPT-data-PrOntoQA.json: Instruction-tuning data for LoGiPT constructed from PrOntoQA.
All training examples are organised in Json-format and Vicuna-style.
If you find this data helpful, please cite our NAACL'24 paper: (or Arxiv version:… See the full description on the dataset page: https://huggingface.co/datasets/jzfeng/LoGiPT-data.
