Author

Laura Kovács

h-index 2 View on Semantic Scholar

We have 2 of 12 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review

Saturation-Guided Inductive Synthesis

This talk overviews recent progress in automating inductive reasoning in quantified logic, with applications to code synthesis, and shows that induction and synthesis are better together in saturation, allowing not only to prove quantified properties F, but also generate a functional implementation of F during proof search 1.

Laura Kovács · 0 citations

SAT in Saturation: A Satisfied Match

A tailored integration of SAT solving for detecting variants of subsumption in superposition using the Vampire prover and showing that SAT encodings improve literal matching, and thus subsumption, in first-order theorem proving is presented.

Laura Kovács, Tu Wien, Austria et al. · 0 citations