ng Synthesis Benchmarks for Automated Reasoni
Márton Hajdú, Petra Hozz, Laura Kovács et al.
· 0 citations
We have 3 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 se...
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