Copertina

The Format Tax

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lee, Ivan Yee, D'Antoni, Loris, Berg-Kirkpatrick, Taylor
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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)

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

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

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

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

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

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)

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)

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

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

The SemGuS Toolkit
di: Johnson, Keith J. C., 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)

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

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

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

From Reasoning to Pixels: Benchmarking the Alignment Gap in Unified Multimodal Models
di: Yang, Cheng, et al.
Pubblicazione: (2026)

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

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

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

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

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

LogogramNLP: Comparing Visual and Textual Representations of Ancient Logographic Writing Systems for NLP
di: Chen, Danlu, et al.
Pubblicazione: (2024)

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

From sunblock to softblock: Analyzing the correlates of neology in published writing and on social media
di: Ryskina, Maria, et al.
Pubblicazione: (2026)

Single-Pass Document Scanning for Question Answering
di: Cao, Weili, et al.
Pubblicazione: (2025)

Are VLMs Seeing or Just Saying? Uncovering the Illusion of Visual Re-examination
di: Shi, Chufan, et al.
Pubblicazione: (2026)

Translation or Recitation? Calibrating Evaluation Scores for Machine Translation of Extremely Low-Resource Languages
di: Chen, Danlu, et al.
Pubblicazione: (2026)

Bob's Confetti: Phonetic Memorization Attacks in Music and Video Generation
di: Roh, Jaechul, et al.
Pubblicazione: (2025)

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)