Verifying Solutions to Semantics-Guided Synthesis Problems

• Published in: arXiv.org
• Main Authors: Murphy, Charlie, Johnson, Keith, Reps, Thomas, D'Antoni, Loris
• Format: Paper
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 28.08.2024
• Subjects: Coding; Constraints; Enumeration; Semantics; Solvers; Synthesis; Validity; Verification

Semantics-Guided Synthesis (SemGuS) provides a framework to specify synthesis problems in a solver-agnostic and domain-agnostic way, by allowing a user to provide both the syntax and semantics of the language in which the desired program should be synthesized. Because synthesis and verification are...