1 citations · 1 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LG2024
Can Transformers Reason Logically? A Study in SAT Solving
Leyan Pan, Vijay Ganesh, Jacob Abernethy +2
We formally study the logical reasoning capabilities of decoder-only Transformers in the context of the boolean satisfiability (SAT) problem. First, we prove by construction that d…
math.OC2024★ 1 cited
Lexicographic Optimization: Algorithms and Stability
Jacob Abernethy, Robert E. Schapire, Umar Syed
A lexicographic maximum of a set is a vector in whose smallest component is as large as possible, and subject to that requirement, whose second small…