conftrace_

deduction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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