Saved in:
Bibliographic Details
Main Authors: Jacovi, Alon, Bitton, Yonatan, Bohnet, Bernd, Herzig, Jonathan, Honovich, Or, Tseng, Michael, Collins, Michael, Aharoni, Roee, Geva, Mor
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2402.00559
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866929350135250944
author Jacovi, Alon
Bitton, Yonatan
Bohnet, Bernd
Herzig, Jonathan
Honovich, Or
Tseng, Michael
Collins, Michael
Aharoni, Roee
Geva, Mor
author_facet Jacovi, Alon
Bitton, Yonatan
Bohnet, Bernd
Herzig, Jonathan
Honovich, Or
Tseng, Michael
Collins, Michael
Aharoni, Roee
Geva, Mor
contents Prompting language models to provide step-by-step answers (e.g., "Chain-of-Thought") is the prominent approach for complex reasoning tasks, where more accurate reasoning chains typically improve downstream task performance. Recent literature discusses automatic methods to verify reasoning to evaluate and improve their correctness. However, no fine-grained step-level datasets are available to enable thorough evaluation of such verification methods, hindering progress in this direction. We introduce REVEAL: Reasoning Verification Evaluation, a dataset to benchmark automatic verifiers of complex Chain-of-Thought reasoning in open-domain question-answering settings. REVEAL includes comprehensive labels for the relevance, attribution to evidence passages, and logical correctness of each reasoning step in a language model's answer, across a variety of datasets and state-of-the-art language models. Evaluation on REVEAL shows that verifiers struggle at verifying reasoning chains - in particular, verifying logical correctness and detecting contradictions. Available at https://reveal-dataset.github.io/ .
format Preprint
id arxiv_https___arxiv_org_abs_2402_00559
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains
Jacovi, Alon
Bitton, Yonatan
Bohnet, Bernd
Herzig, Jonathan
Honovich, Or
Tseng, Michael
Collins, Michael
Aharoni, Roee
Geva, Mor
Computation and Language
Prompting language models to provide step-by-step answers (e.g., "Chain-of-Thought") is the prominent approach for complex reasoning tasks, where more accurate reasoning chains typically improve downstream task performance. Recent literature discusses automatic methods to verify reasoning to evaluate and improve their correctness. However, no fine-grained step-level datasets are available to enable thorough evaluation of such verification methods, hindering progress in this direction. We introduce REVEAL: Reasoning Verification Evaluation, a dataset to benchmark automatic verifiers of complex Chain-of-Thought reasoning in open-domain question-answering settings. REVEAL includes comprehensive labels for the relevance, attribution to evidence passages, and logical correctness of each reasoning step in a language model's answer, across a variety of datasets and state-of-the-art language models. Evaluation on REVEAL shows that verifiers struggle at verifying reasoning chains - in particular, verifying logical correctness and detecting contradictions. Available at https://reveal-dataset.github.io/ .
title A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains
topic Computation and Language
url https://arxiv.org/abs/2402.00559