<div class="csl-bib-body">
<div class="csl-entry">Hajdu, M., Hozzová, P., Kovacs, L., Voronkov, A., Wagner, E. M., & Žilinčík, R. S. (2025). Synthesis Benchmarks for Automated Reasoning. In V. de Paiva & P. Koepke (Eds.), <i>Intelligent Computer Mathematics</i> (pp. 21–28). Springer Nature Link. https://doi.org/10.1007/978-3-032-07021-0_2</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/221409
-
dc.description.abstract
Program synthesis is the task of constructing a program conforming to a given specification. We focus on deductive synthesis, and in particular on synthesis problems with specifications given as ∀∃-formulas, expressing the existence of an output corresponding to any input. So far there has been no canonical benchmark set for deductive synthesis using the ∀∃-format and supporting the so-called uncomputable symbol restriction. This work presents such a data set, composed by complementing existing benchmarks by new ones. Our data set is dynamically growing and should motivate future developments in the theory and practice of automating synthesis.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Automated Reasoning
en
dc.subject
Induction
en
dc.subject
Recursion
en
dc.subject
Synthesis
en
dc.title
Synthesis Benchmarks for Automated Reasoning
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Czech Technical University in Prague, Czechia
-
dc.contributor.affiliation
University of Manchester, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
TU Wien, Austria
-
dc.contributor.editoraffiliation
Topos Institute, United States of America (the)
-
dc.contributor.editoraffiliation
University of Bonn, Germany
-
dc.relation.isbn
978-3-032-07021-0
-
dc.relation.doi
10.1007/978-3-032-07021-0
-
dc.relation.issn
0302-9743
-
dc.description.startpage
21
-
dc.description.endpage
28
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Intelligent Computer Mathematics
-
tuw.container.volume
16136
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer Nature Link
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
30
-
tuw.researchTopic.value
30
-
tuw.researchTopic.value
40
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publication.orgunit
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
tuw.publisher.doi
10.1007/978-3-032-07021-0_2
-
dc.description.numberOfPages
8
-
tuw.author.orcid
0000-0002-8273-2613
-
tuw.author.orcid
0000-0003-0845-5811
-
tuw.author.orcid
0000-0002-8299-2714
-
tuw.editor.orcid
0000-0002-1078-6970
-
tuw.editor.orcid
0000-0002-2266-134X
-
tuw.event.name
CICM: International Conference on Intelligent Computer Mathematics 2025
en
tuw.event.startdate
06-10-2025
-
tuw.event.enddate
10-10-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Brazil
-
tuw.event.country
BR
-
tuw.event.presenter
Wagner, Eva Maria
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.openairetype
conference paper
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
restricted
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
