Petra Hozzová

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Inductive Reasoning

Program Synthesis

Top Venues

Publications

Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
Program Synthesis in Saturation. CoRR (2024)
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. CoRR (2024)
Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
Synthesis of Recursive Programs in Saturation. IJCAR (1) (2024)
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Getting Saturated with Induction. CoRR (2024)
Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov
Induction in Saturation. IJCAR (1) (2024)
Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. LPAR (2023)
Petra Hozzová, Laura Kovács, Chase Norman, Andrei Voronkov
Program Synthesis in Saturation. CADE (2023)
Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Getting Saturated with Induction. Principles of Systems Design (2022)
Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper). PAAR@IJCAR (2022)
Petra Hozzová, Laura Kovács, Jakob Rath
Automated Generation of Exam Sheets for Automated Deduction. CICM (2021)
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Inductive Benchmarks for Automated Reasoning. CICM (2021)
Petra Hozzová, Laura Kovács, Andrei Voronkov
Integer Induction in Saturation. CADE (2021)
Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov
Induction with Recursive Definitions in Superposition. FMCAD (2021)
Martin Homola, Ján Kluka, Petra Hozzová, Vojtech Svátek, Miroslav Vacura
Towards Higher-order OWL. Künstliche Intell. 34 (3) (2020)
Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Induction with Generalization in Superposition Reasoning. CICM (2020)