Tim Vieira
29 papers · 2012–2026 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
🗺️ Taxonomy Completionist (42) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Diamond 🐣 Hot Topic Early Bird
🧬
Topic Evolution
🤝
Dynamic Duo
(27)
⚡
Prolific Year · Productive
🔥
Unstoppable · Bronze
❓
The Questioner
💎
Century Club · Bronze
🌈
Renaissance Researcher
(6)
🗃️
Keyword Collector
(131)
Top co-authors
Research topics
Natural Language Processing
(16)
Machine Learning
(15)
Optimization & Theory
(12)
Mathematics & Optimization
(11)
Optimization
(10)
Computer Science
(8)
Foundations
(8)
Resources & Methods
(7)
Artificial Intelligence
(6)
Generation
(6)
Understanding
(6)
Deep Learning
(4)
Mathematics
(4)
Interdisciplinary
(3)
Core AI
(3)
Keywords
context-free grammar
(5)
language model
(4)
spanning tree
(3)
dependency parsing
(3)
formal language
(3)
parsing algorithm
(3)
computational complexity
(2)
beam search
(2)
conditional random field
(2)
byte pair encoding
(2)
dynamic programming
(2)
sequential monte carlo
(2)
complexity analysis
(2)
human preference
(2)
statistical testing
(1)
direct preference optimization
(1)
diverse sampling
(1)
language model alignment
(1)
preference learning
(1)
reward modeling
(1)
Papers
On the Proper Treatment of Units in Surprisal Theory
ACL 2026
Prefix Parsing is Just Parsing
ACL 2026
From Language Models over Tokens to Language Models over Characters
ICML 2025
Language Models over Canonical Byte-Pair Encodings
ICML 2025
Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
ICLR 2025
Syntactic Control of Language Models by Posterior Inference
ACL 2025
The Foundations of Tokenization: Statistical and Computational Concerns
ICLR 2025
Variational Best-of-N Alignment
ICLR 2025
Direct Preference Optimization with an Offset
ACL 2024
On the Proper Treatment of Tokenization in Psycholinguistics
EMNLP 2024
A Formal Perspective on Byte-Pair Encoding
ACL 2023
An Exploration of Left-Corner Transformations
EMNLP 2023
Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages
EMNLP 2023
Efficient Semiring-Weighted Earley Parsing
ACL 2023
On the Intersection of Context-Free and Regular Languages
EACL 2023
Algorithms for Acyclic Weighted Finite-State Automata with Failure Arcs
EMNLP 2022
Algorithms for Weighted Pushdown Automata
EMNLP 2022
Exact Paired-Permutation Testing for Structured Test Statistics
NAACL 2022
Conditional Poisson Stochastic Beams
EMNLP 2021
Efficient Sampling of Dependency Structure
EMNLP 2021
Higher-order Derivatives of Weighted Finite-state Machines
ACL 2021
On Finding the K-best Non-projective Dependency Trees
ACL 2021
Searching for More Efficient Dynamic Programs
EMNLP 2021
If beam search is the answer, what was the question?
EMNLP 2020
Please Mind the Root: Decoding Arborescences for Dependency Parsing
EMNLP 2020
A Joint Model of Orthography and Morphological Segmentation
NAACL 2016
Speed-Accuracy Tradeoffs in Tagging with Variable-Order CRFs and Structured Sparsity
EMNLP 2016
Universal Decompositional Semantics on Universal Dependencies
EMNLP 2016
Grammarless Parsing for Joint Inference
COLING 2012