AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Zhu, Qin, Huang, Fei, Peng, Runyu, Lu, Keming, Yu, Bowen, Cheng, Qinyuan, Qiu, Xipeng, Huang, Xuanjing, Lin, Junyang
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866910842423869440
author Zhu, Qin
Huang, Fei
Peng, Runyu
Lu, Keming
Yu, Bowen
Cheng, Qinyuan
Qiu, Xipeng
Huang, Xuanjing
Lin, Junyang
author_facet Zhu, Qin
Huang, Fei
Peng, Runyu
Lu, Keming
Yu, Bowen
Cheng, Qinyuan
Qiu, Xipeng
Huang, Xuanjing
Lin, Junyang
contents While logical reasoning evaluation of Large Language Models (LLMs) has attracted significant attention, existing benchmarks predominantly rely on multiple-choice formats that are vulnerable to random guessing, leading to overestimated performance and substantial performance fluctuations. To obtain more accurate assessments of models' reasoning capabilities, we propose an automated method for synthesizing open-ended logic puzzles, and use it to develop a bilingual benchmark, AutoLogi. Our approach features program-based verification and controllable difficulty levels, enabling more reliable evaluation that better distinguishes models' reasoning abilities. Extensive evaluation of eight modern LLMs shows that AutoLogi can better reflect true model capabilities, with performance scores spanning from 35% to 73% compared to the narrower range of 21% to 37% on the source multiple-choice dataset. Beyond benchmark creation, this synthesis method can generate high-quality training data by incorporating program verifiers into the rejection sampling process, enabling systematic enhancement of LLMs' reasoning capabilities across diverse datasets.
format Preprint
id arxiv_https___arxiv_org_abs_2502_16906
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models
Zhu, Qin
Huang, Fei
Peng, Runyu
Lu, Keming
Yu, Bowen
Cheng, Qinyuan
Qiu, Xipeng
Huang, Xuanjing
Lin, Junyang
Computation and Language
While logical reasoning evaluation of Large Language Models (LLMs) has attracted significant attention, existing benchmarks predominantly rely on multiple-choice formats that are vulnerable to random guessing, leading to overestimated performance and substantial performance fluctuations. To obtain more accurate assessments of models' reasoning capabilities, we propose an automated method for synthesizing open-ended logic puzzles, and use it to develop a bilingual benchmark, AutoLogi. Our approach features program-based verification and controllable difficulty levels, enabling more reliable evaluation that better distinguishes models' reasoning abilities. Extensive evaluation of eight modern LLMs shows that AutoLogi can better reflect true model capabilities, with performance scores spanning from 35% to 73% compared to the narrower range of 21% to 37% on the source multiple-choice dataset. Beyond benchmark creation, this synthesis method can generate high-quality training data by incorporating program verifiers into the rejection sampling process, enabling systematic enhancement of LLMs' reasoning capabilities across diverse datasets.
title AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models
topic Computation and Language
url https://arxiv.org/abs/2502.16906