Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies

17 July 2024

Papers citing "Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies"

3 / 3 papers shown

Title
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought Abulhair Saparov He He ELM LRM ReLM 121 275 0 03 Oct 2022
Using cognitive psychology to understand GPT-3 Marcel Binz Eric Schulz ELM LLMAG 250 440 0 21 Jun 2022
Large Language Models are Zero-Shot Reasoners Takeshi Kojima S. Gu Machel Reid Yutaka Matsuo Yusuke Iwasawa ReLM LRM 328 4,077 0 24 May 2022