1 paper · 1 filter
Enrico Vompa, Tanel Tammet
We investigate the scaling properties of implicit deductive reasoning over Horn clauses in depth-bounded Transformers. By systematically decorrelating provability from spurious fea…