Synthesis benchmarks for automated reasoning

DOI10.1007/978-3-032-07021-0_2MaRDI QIDQ6856431zbMATH OpenFDO

Authors Márton Hajdu, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Žilinčík

Publication date 19 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-07021-0_2

zbMATH Keywords

automated reasoninginductionrecursionsynthesis

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites work

• A Deductive Approach to Program Synthesis
• Lemma discovery and strategies for automated induction
• Program Synthesis in Saturation
• Refutation-based synthesis in SMT
• Synthesis of recursive programs in saturation
• Toward automatic program synthesis

This page was built for publication: Synthesis benchmarks for automated reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856431)