Author:Petra Hozzová

Publications
Integrating Answer Literals with AVATAR for Program Synthesis Petra Hozzová In:Proceedings of the 7th and 8th Vampire Workshop
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Synthesis of Recursive Programs in Saturation Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner EasyChair Preprint 12145
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint 10223
Towards Synthesis in Superposition Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint 8182
Induction with Recursive Definitions in Superposition Marton Hajdu, Petra Hozzová, Laura Kovacs and Andrei Voronkov EasyChair Preprint 6513
Inductive Benchmarks for Automated Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 5531
Integer Induction in Saturation Petra Hozzová, Laura Kovács and Andrei Voronkov EasyChair Preprint 5176
Induction with Generalization in Superposition Reasoning Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 2468
Induction with Generalization in Superposition Reasoning Petra Hozzová, Laura Kovács, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint 2468

Keyphrases

answer literals, automated deduction, automated reasoning⁴, Avatar, AVATAR architecture, first-order theorem proving⁴, formal verification, induction⁴, induction with generalization, inductive benchmarks, Inductive data types, integer induction, integers, Linear Integer Arithmetic, non-linear integer arithmetic, non-linear real arithmetic, program synthesis⁴, recursion, saturation³, saturation based proof search², saturation-based theorem proving, smart contracts, SMT solving, structural induction², superposition², superposition reasoning³, superposition theorem prover, term algebra², theorem proving³, Vampire².