Copertina

The SemGuS Toolkit

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Johnson, Keith J. C., Reynolds, Andrew, Reps, Thomas, D'Antoni, Loris
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verifying Solutions to Semantics-Guided Synthesis Problems
di: Murphy, Charlie, et al.
Pubblicazione: (2024)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
di: Johnson, Keith J. C., et al.
Pubblicazione: (2024)

Synthesizing Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2023)

Unrealizability Logic
di: Kim, Jinwoo, et al.
Pubblicazione: (2022)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
di: Nagy, Shaan, et al.
Pubblicazione: (2024)

Synthesizing Formal Semantics from Executable Interpreters
di: Liu, Jiangyi, et al.
Pubblicazione: (2024)

LOUD: Synthesizing Strongest and Weakest Specifications
di: Park, Kanghee, et al.
Pubblicazione: (2024)

Language-Based Agent Control
di: Zhou, Timothy, et al.
Pubblicazione: (2026)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
di: Vaidya, Sairam, et al.
Pubblicazione: (2025)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
di: Nagy, Shaan, et al.
Pubblicazione: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
di: Peng, Xuanyu, et al.
Pubblicazione: (2025)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness
di: Zhang, Yuhao, et al.
Pubblicazione: (2024)

Flexible and Efficient Grammar-Constrained Decoding
di: Park, Kanghee, et al.
Pubblicazione: (2025)

The Format Tax
di: Lee, Ivan Yee, et al.
Pubblicazione: (2026)

Continuous Diffusion Models Can Obey Formal Syntax
di: Kim, Jinwoo, et al.
Pubblicazione: (2026)

Synthesizing Abstract Transformers for Reduced-Product Domains
di: Kalita, Pankaj Kumar, et al.
Pubblicazione: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
di: Fang, Ruijie, et al.
Pubblicazione: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
di: Yu, Nengkun, et al.
Pubblicazione: (2025)

Efficient Cost Bounds with Linear Maps
di: Kahn, David M, et al.
Pubblicazione: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
di: Yu, Nengkun, et al.
Pubblicazione: (2025)

Constrained Adaptive Rejection Sampling
di: Parys, Paweł, et al.
Pubblicazione: (2025)

Grammar-Aligned Decoding
di: Park, Kanghee, et al.
Pubblicazione: (2024)

GuStL - An Experimental Guarded States Language
di: Schirmer, Oskar
Pubblicazione: (2016)

PECAN: A Deterministic Certified Defense Against Backdoor Attacks
di: Zhang, Yuhao, et al.
Pubblicazione: (2023)

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
di: Gonzalez, Emmanuel Anaya, et al.
Pubblicazione: (2025)

Syntactic Completions with Material Obligations
di: Moon, David, et al.
Pubblicazione: (2025)

Learning the Error Patterns of Language Models
di: Kim, Jinwoo, et al.
Pubblicazione: (2026)

Virtualidad crítica en el aula universitaria en la pandemia (y más allá)
di: Maurizia D’Antoni
Pubblicazione: (2020)

VIGOTSKI, DESARROLLO INFANTIL Y APORTES PARA EL AULA COSTARRICENSE
di: Maurizia D'Antoni
Pubblicazione: (2009)

Derechos humanos de la infancia en un trabajo comunal universitario
di: Maurizia D'Antoni
Pubblicazione: (2006)

Competencia cultural e inteligencia cultural. Aportes a la mediación cultural docente
di: Maurizia D'Antoni
Pubblicazione: (2011)

Crisis en la educación secundaria: ¿reproducir o transformar?
di: Maurizia D'Antoni
Pubblicazione: (2005)

Búsqueda de disonancias en discursos y prácticas sobre música
di: Maurizia D'Antoni
Pubblicazione: (2017)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
di: Sistla, Meghana, et al.
Pubblicazione: (2023)

Understanding Haskell-style Overloading via Open Data and Open Functions
di: Marmaduke, Andrew, et al.
Pubblicazione: (2025)

Verified Training for Counterfactual Explanation Robustness under Data Shift
di: Meyer, Anna P., et al.
Pubblicazione: (2024)

Corps: A Core Calculus of Hierarchical Choreographic Programming
di: Hirsch, Andrew K.
Pubblicazione: (2024)

Abstracting Extensible Recursive Functions
di: Hubers, Alex, et al.
Pubblicazione: (2024)