conftrace_

3-sat

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

deduction (1) sat (1) backtracking (1) chain-of-thoughts (1) transformer (1)

Papers

Can Transformers Reason Logically? A Study in SAT Solving ICML 2025