conftrace_

proof planning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) step-by-step argumentation (1) reasoning failure (1) symbolic proof (1) large reasoning model (1) reasoning model (1) graph connectivity (1) first-order logic (1) complexity analysis (1) mathematical reasoning (1)

Papers

Reasoning Models Reason Well, Until They Don’t IJCNLP 2025 Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought ICLR 2023