4 citations · 18 across the 15 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Martin Suda, Sarah Winkler
These are the post-proceedings of the second ARCADE workshop, which took place on the 26th August 2019 in Natal, Brazil, colocated with CADE-27. ARCADE stands for Automated Reasoni…
cs.LO2019
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…