conftrace_

symbolic proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (1) proof planning (1) first-order logic (1) mathematical reasoning (1)

Papers

Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought ICLR 2023