130 citations · 671 across the 42 of their papers we have counts for
1 paper · 1 filter
Jesse Alama, Tom Heskes, Daniel Kühlwein +2
Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical…