conftrace_

numerical satisfiability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical semantics (1) transformer model (1) formal reasoning (1) out-of-distribution data (1) generalization capacity (1) out-of-distribution generalization (1) logical reasoning (1)

Papers

Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems ACL 2025