4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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,…