2 citations · 7 across the 18 of their papers we have counts for
1 paper · 1 filter
William Merrill, Ashish Sabharwal
Recent theoretical work has identified surprisingly simple reasoning problems, such as checking if two nodes in a graph are connected or simulating finite-state machines, that are…