7 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2024★ 7 cited
Program Synthesis in Saturation
Petra Hozzová, Laura Kovács, Chase Norman +1
We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as a first-ord…
cs.LO2024★ 4 cited
Getting Saturated with Induction
Márton Hajdu, Petra Hozzová, Laura Kovács +2
Induction in saturation-based first-order theorem proving is a new exciting direction in the automation of inductive reasoning. In this paper we survey our work on integrating indu…