47 citations · 188 across the 18 of their papers we have counts for
1 paper · 1 filter
Haoze Wu, Christopher Hahn, Florian Lonsing +3
We present Self-Driven Strategy Learning (sdsl), a lightweight online learning methodology for automated reasoning tasks that involve solving a set of related problems.…