datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
ppt-logic_propositionalpropositional-logic
Dataset: Argument to Logical Structure Conversion (Propositional Logic)
Column Descriptions
natural_language_argument: The original argument written in plain English, presented in a natural, narrative style.
premises_and_conclusions: A breakdown of the argument into clearly stated premises and conclusion.
natural_language_proof: A structured explanation in natural language that connects the premises to the conclusion logically.
symbols: A dictionary of symbolic… See the full description on the dataset page: https://huggingface.co/datasets/ergotts/propositional-logic.1_propositional-logic_EN