29 citations · 56 across the 17 of their papers we have counts for
1 paper · 2 filters
Cezary Kaliszyk, François Chollet, Christian Szegedy
Large computer-understandable proofs consist of millions of intermediate logical steps. The vast majority of such steps originate from manually selected and manually guided heurist…