Smarter Features, Simpler Learning?

Sarah Winkler, Georg Moser

Earlier work on machine learning for automated reasoning mostly relied on simple, syntactic features combined with sophisticated learning techniques. Using ideas adopted in the sof…