Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars

16 June 2024

Damien Sileo

Papers citing "Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars"

3 / 3 papers shown

Title
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas Anjiang Wei Yuheng Wu Yingjia Wan Tarun Suresh Huanmi Tan Zhanke Zhou Sanmi Koyejo Ke Wang Alex Aiken ReLM LRM 12 0 0 20 May 2025
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu M. Rabe Wenda Li Jimmy Ba Roger C. Grosse Christian Szegedy AIMat LRM 75 52 0 15 Jan 2021
Probing Linguistic Systematicity Emily Goodwin Koustuv Sinha Timothy J. O'Donnell 96 58 0 08 May 2020