44 citations · 111 across the 15 of their papers we have counts for
1 paper · 2 filters
Thibault Gauthier, Josef Urban
We develop a self-learning approach for conjecturing of induction predicates on a dataset of 16197 problems derived from the OEIS. These problems are hard for today's SMT and ATP s…