15 citations · 23 across the 4 of their papers we have counts for
1 paper · 2 filters
Bartosz Piotrowski, Ramon Fernández Mir, Edward Ayers
We introduce a machine-learning-based tool for the Lean proof assistant that suggests relevant premises for theorems being proved by a user. The design principles for the tool are…