17 citations · 35 across the 11 of their papers we have counts for
1 paper · 1 filter
Naveen Sundar Govindarajulu, Selmer Bringsjord
The generally accepted wisdom in computational circles is that pure proof verification is a solved problem and that the computationally hard elements and fertile areas of study lie…