9 citations · 10 across the 7 of their papers we have counts for
1 paper · 1 filter
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Techniques combining machine learning with translation to automated reasoning have recently become an important component of formal proof assistants. Such "hammer" tech- niques com…