8 citations · 18 across the 14 of their papers we have counts for
1 paper · 1 filter
Elijah Malaby, Bradley Dragun, John Licato
There is an increasing interest in applying recent advances in AI to automated reasoning, as it may provide useful heuristics in reasoning over formalisms in first-order, second-or…