LLM FOL Reasoning Eval

LLM FOL Reasoning Eval This dataset is derived from ProverQA, a First-Order Logic reasoning benchmark designed to test the ability of large language models (LLMs) to perform structured logical reasoning.It restructures and normalizes the ProverQA development and training data into a unified, clean format suitable for evaluating chain-of-thought (CoT) and symbolic reasoning capabilities in LLMs. Source Original dataset: ProverQA: A First-Order Logic Reasoning… See the full description on the dataset page: huggingface.co/datasets/MinaGabriel/llm-fol-reasoning-eval.