354 citations · 1.9k across the 38 of their papers we have counts for
1 paper · 1 filter
Alex A. Alemi, Francois Chollet, Niklas Een +3
We study the effectiveness of neural sequence models for premise selection in automated theorem proving, one of the main bottlenecks in the formalization of mathematics. We propose…