P-FOLIO is a human-annotated dataset consisting of diverse and complex reasoning chains for a set of realistic logical reasoning stories also written by humans. P-FOLIO is collected with an annotation protocol that facilitates humans to annotate well-structured natural language proofs for first-order logic reasoning problems in a step-by-step manner.
P-FOLIO is built upon FOLIO.… See the full description on the dataset page:
https://huggingface.co/datasets/yale-nlp/P-FOLIO.
