:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gonzalez, Emmanuel Anaya, Vaidya, Sairam, Park, Kanghee, Ji, Ruyi, Berg-Kirkpatrick, Taylor, D'Antoni, Loris
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computation and Language Machine Learning
Online Access:	https://arxiv.org/abs/2506.05754
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Constrained Adaptive Rejection Sampling
by: Parys, Paweł, et al.
Published: (2025)

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

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

Grammar-Aligned Decoding
by: Park, Kanghee, et al.
Published: (2024)

Synthesizing Specifications
by: Park, Kanghee, et al.
Published: (2023)

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

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

The Format Tax
by: Lee, Ivan Yee, et al.
Published: (2026)

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

Language-Based Agent Control
by: Zhou, Timothy, et al.
Published: (2026)

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

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

Unrealizability Logic
by: Kim, Jinwoo, et al.
Published: (2022)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

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

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

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
by: Barke, Shraddha, et al.
Published: (2024)

The SemGuS Toolkit
by: Johnson, Keith J. C., et al.
Published: (2024)

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

Readability $\ne$ Learnability: Rethinking the Role of Simplicity in Training Small Language Models
by: Lee, Ivan, et al.
Published: (2025)

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

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

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

Smaller Language Models are Better Black-box Machine-Generated Text Detectors
by: Mireshghallah, Niloofar, et al.
Published: (2023)

Equality Saturation Guided by Large Language Models
by: Peng, Wentao, et al.
Published: (2025)

Studying the Soupability of Documents in State Space Models
by: Jafari, Yasaman, et al.
Published: (2025)

MORL-Prompt: An Empirical Analysis of Multi-Objective Reinforcement Learning for Discrete Prompt Optimization
by: Jafari, Yasaman, et al.
Published: (2024)

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

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

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

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

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

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

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

Optical Context Compression Is Just (Bad) Autoencoding
by: Lee, Ivan Yee, et al.
Published: (2025)

Do Text Edits Generalize to Visual Generation? Benchmarking Cross-Modal Knowledge Editing in UMMs
by: Gao, Xin, et al.
Published: (2026)

Alt-Text with Context: Improving Accessibility for Images on Twitter
by: Srivatsan, Nikita, et al.
Published: (2023)

Alberto Rex González. 16 de Noviembre de 1918 - 28 de Marzo de 2012
by: Héctor L. D’Antoni
Published: (2012)

Evaluación de producción académica docente en la Universidad de Costa Rica: contexto y problematización
by: Maurizia D’Antoni Fattori
Published: (2021)

Perceptions of the Fairness Impacts of Multiplicity in Machine Learning
by: Meyer, Anna P., et al.
Published: (2024)