54 citations · 138 across the 8 of their papers we have counts for
1 paper · 2 filters
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse +1
Automated theorem proving in first-order logic is an active research area which is successfully supported by machine learning. While there have been various proposals for encoding…