2.3k citations · 4.7k across the 88 of their papers we have counts for
1 paper · 2 filters
Gabriel Poesia, WenXin Dong, Noah Goodman
Abstract symbolic reasoning, as required in domains such as mathematics and logic, is a key component of human intelligence. Solvers for these domains have important applications,…