← Search

Tim Vieira

22 accepted papers

2026

Transducing Language Models

ICLR 2026poster

Modern language models define distributions over strings, but their outputs are not always suited to downstream task. For instance, a model generating byte-pair strings may not be suitable when word-level predictions are needed, and a DNA model may not fit applications requiring amino acids. In such…

Cited by 0SourcecodeScholar
2025

From Language Models over Tokens to Language Models over Characters

ICML 2025spotlight

Modern language models are internally—and mathematically—distributions over *token* strings rather than *character* strings, posing numerous challenges for programmers building user applications on top of them. For example, if a prompt is specified as a character string, it must be tokenized before…

Cited by 5SourcePDFScholar
2025

Language Models over Canonical Byte-Pair Encodings

ICML 2025poster

Modern language models represent probability distributions over character strings as distributions over (shorter) token strings derived via a deterministic tokenizer, such as byte-pair encoding. While this approach is highly effective at scaling up language models to large corpora, its current incar…

Cited by 0SourcePDFScholar
2025

Syntactic Control of Language Models by Posterior Inference

ACL 2025finding

Controlling the syntactic structure of text generated by language models is valuable for applications requiring clarity, stylistic consistency, or interpretability, yet it remains a challenging task. In this paper, we argue that sampling algorithms based on the posterior inference can effectively en…

2025

Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo

ICLR 2025oral

A wide range of LM applications require generating text that conforms to syntactic or semantic constraints. Imposing such constraints can be naturally framed as _probabilistic conditioning_, but exact generation from the resulting distribution—which can differ substantially from the LM’s base distri…

2025

The Foundations of Tokenization: Statistical and Computational Concerns

ICLR 2025poster

Tokenization — the practice of converting strings of characters from an alphabet into sequences of tokens over a vocabulary — is a critical step in the NLP pipeline. The use of token representations is widely credited with increased model performance but is also the source of many undesirable behavi…

Cited by 5SourcePDFScholar
2024

On the Proper Treatment of Tokenization in Psycholinguistics

EMNLP 2024main

Language models are widely used in computational psycholinguistics to test theories that relate the negative log probability (the surprisal) of a region of interest (a substring of characters) under a language model to its cognitive cost experienced by readers, as operationalized, for example, by ga…

2023

A Formal Perspective on Byte-Pair Encoding

ACL 2023findings

Byte-Pair Encoding (BPE) is a popular algorithm used for tokenizing data in NLP, despite being devised initially as a compression method.BPE appears to be a greedy algorithm at face value, but the underlying optimization problem that BPE seeks to solve has not yet been laid down. We formalize BPE as…

2023

An Exploration of Left-Corner Transformations

EMNLP 2023long main

The left-corner transformation (Rosenkrantz and Lewis, 1970) is used to remove left recursion from context-free grammars, which is an important step towards making the grammar parsable top-down with simple techniques. This paper generalizes prior left-corner transformations to support semiring-weigh…

Cited by 0SourcecodeScholar
2023

Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages

EMNLP 2023long main

The class of tree-adjoining languages can be characterized by various two-level formalisms, consisting of a context-free grammar (CFG) or pushdown automaton (PDA) controlling another CFG or PDA. These four formalisms are equivalent to tree-adjoining grammars (TAG), linear indexed grammars (LIG), pus…

Cited by 0SourceScholar
2023

Efficient Semiring-Weighted Earley Parsing

ACL 2023long

We present Earley’s (1970) context-free parsing algorithm as a deduction system, incorporating various known and new speed-ups. In particular, our presentation supports a known worst-case runtime improvement from Earley’s (1970) O(N3|G||R|), which is unworkable for the large grammars that arise in n…

2022

Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs

EMNLP 2022main

Weighted finite-state automata (WSFAs) arecommonly used in NLP. Failure transitions area useful extension for compactly representingbackoffs or interpolation in n-gram modelsand CRFs, which are special cases of WFSAs.Unfortunately, applying standard algorithmsfor computing the pathsum requires expan…

2022

Algorithms for Weighted Pushdown Automata

EMNLP 2022main

Weighted pushdown automata (WPDAs) are at the core of many natural language processing tasks, like syntax-based statistical machine translation and transition-based dependency parsing. As most existing dynamic programming algorithms are designed for context-free grammars (CFGs), algorithms for PDAs…

2022

Exact Paired-Permutation Testing for Structured Test Statistics

NAACL 2022long

Significance testing—especially the paired-permutation test—has played a vital role in developing NLP systems to provide confidence that the difference in performance between two systems (i.e., the test statistic) is not due to luck. However, practitioners rely on Monte Carlo approximation to perfor…