33 citations · 206 across the 29 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…
math.LO2019
The Epsilon Calculus with Equality and Herbrand Complexity
Kenji Miyamoto, Georg Moser
Hilbert's epsilon calculus is an extension of elementary or predicate calculus by a term-forming operator and initial formulas involving such terms. The fundamental r…