25 citations · 75 across the 16 of their papers we have counts for
1 paper · 2 filters
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.…