williamtong105/pita
收藏Hugging Face2026-02-17 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/williamtong105/pita
下载链接
链接失效反馈官方服务：
资源简介：
---
license: cc-by-4.0
configs:
- config_name: default
data_files:
- split: full
path: data/full-*
- split: imply
path: data/imply-*
- split: or
path: data/or-*
- split: php
path: data/php-*
dataset_info:
features:
- name: is_true
dtype: bool
- name: length
dtype: int64
- name: prompt
dtype: string
- name: completion
dtype: string
splits:
- name: full
num_bytes: 3603343447
num_examples: 3630455
- name: imply
num_bytes: 27346079697
num_examples: 11015905
- name: or
num_bytes: 117474167480
num_examples: 8657010
- name: php
num_bytes: 1754381592
num_examples: 50786
download_size: 15132815397
dataset_size: 150177972216
---
# PITA dataset
PITA is a dataset of statements in propositional logic and their corresponding proofs. This dataset is introduced in our paper [Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces](https://arxiv.org/abs/2602.14404).
The code for this project is available at <https://github.com/wtong98/boule-or-baguette>.
提供机构：
williamtong105
