The SemGuS Toolkit

June 03, 2024 · Declared Dead · 🏛 International Conference on Computer Aided Verification

👻 CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Keith J. C. Johnson, Andrew Reynolds, Thomas Reps, Loris D'Antoni arXiv ID 2406.01792 Category cs.PL: Programming Languages Citations 1 Venue International Conference on Computer Aided Verification Last Checked 3 months ago
Abstract
Semantics-Guided Synthesis (SemGuS) is a programmable framework for defining synthesis problems in a domain- and solver-agnostic way. This paper presents the standardized SemGuS format, together with an open-source toolkit that provides a parser, a verifier, and enumerative SemGuS solvers. The paper also describes an initial set of SemGuS benchmarks, which form the basis for comparing SemGuS solvers, and presents an evaluation of the baseline enumerative solvers.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Programming Languages

Died the same way — 👻 Ghosted