Venkatdatta/fol-data

FOL Reasoning Dataset A preprocessed and vocabulary-augmented dataset derived from the ProofWriter (Kaggle) OWA splits, built for training a Natural Language → First-Order Logic translation model. The source dataset contains natural-language premises and questions in English along with structured proof metadata. Our preprocessing adds two things that the original does not provide: FOL translations — each natural-language statement is converted to First-Order Logic via a… See the full description on the dataset page: https://huggingface.co/datasets/Venkatdatta/fol-data.