Tim Vieira

Blog | Github | Twitter | Instagram

About

I develop machine learning algorithms for tough problems—tending toward applications in natural language processing and programming languages. When I'm not in front of a whiteboard or computer, I'm probably climbing things, walking around on my hands, or hanging out with Hanna Wallach and @maia.the.pomsky.

I'm working on my PhD with Jason Eisner. We're using reinforcement learning to speedup inference algorithms and developing the Dyna programming language. You can read more about our current proposal here!

I've also worked with Andrew McCallum on Rexa and Factorie; Dan Roth on Textual Entailment.

Movement

I move: jump, climb, balance, invert, you name it.

Follow my antics on Instagram.

Roller Derby

My alter ego, Mr. Sprinkles, played roller derby for many years.

Snakeboarding

In high school, I was big into snakeboarding.

Lowriders

The 5th Ave - my gorgeous '84 Fifth Ave purchased - installed the hydraulics myself!

The Big Bad Baby Blue Buick - hydraulics and gold spinning wheels.

Blog

Technical blog: Graduate Descent. Twitter: @xtimv.

Publications

Google Scholar profile

Algorithms for Weighted Pushdown Automata Alexandra Butoi, Brian DuSell, Tim Vieira, Ryan Cotterell, David Chiang EMNLP 2022

arXiv code
Algorithms for Weighted Finite-State Automata with Failure Arcs Anej Svete, Benjamin Dayan, Ryan Cotterell, Tim Vieira, Jason Eisner EMNLP 2022

arXiv code
On the Intersection of Context-Free and Regular Languages Clemente Pasti, Andreas Opedal, Tiago Pimentel, Tim Vieira, Jason Eisner, Ryan Cotterell EACL 2023

arXiv code
Exact Paired-Permutation Testing for Structured Test Statistics Ran Zmigrod, Tim Vieira, Ryan Cotterell NAACL 2022

arXiv code
Searching for More Efficient Dynamic Programs Tim Vieira, Ryan Cotterell, Jason Eisner Findings of EMNLP 2021

slides video arXiv
Conditional Poisson Stochastic Beam Search Clara Meister, Afra Amini, Tim Vieira, Ryan Cotterell EMNLP 2021

code arXiv
Efficient Sampling of Dependency Structures Ran Zmigrod, Tim Vieira, Ryan Cotterell EMNLP 2021

code arXiv
Efficient Computation of Expectations under Spanning Tree Distributions Ran Zmigrod,* Tim Vieira,* Ryan Cotterell TACL 2021

code arXiv
On Finding the K-best Non-projective Dependency Trees Ran Zmigrod, Tim Vieira, Ryan Cotterell ACL 2021

code arXiv
Higher-order Derivatives of Weighted Finite-state Machines Ran Zmigrod, Tim Vieira, Ryan Cotterell ACL 2021

code arXiv
If Beam Search is the Answer, What was the Question? Clara Meister, Tim Vieira, Ryan Cotterell EMNLP 2020

code arXiv video Honorable mention paper 🏆
Please Mind the Root: Decoding Arborescences for Dependency Parsing Ran Zmigrod, Tim Vieira, Ryan Cotterell EMNLP 2020

code arXiv video
Best-First Beam Search Clara Meister, Tim Vieira, Ryan Cotterell TACL 2020

code arXiv
Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations Matthew Francis-Landau, Tim Vieira, Jason Eisner WRLA 2020

code
The Universal Decompositional Semantics Dataset and Decomp Toolkit Aaron Steven White, Elias Stengel-Eskin, Siddharth Vashishtha, Venkata Subrahmanyan Govindarajan, Dee Ann Reisinger, Tim Vieira, Keisuke Sakaguchi, Sheng Zhang, Francis Ferraro, Rachel Rudinger, Kyle Rawlins, Benjamin Van Durme LREC 2020

arxiv project page
Forward-Backward with Failure Arcs: Faster Inference for Variable-Order Conditional Random Fields Tim Vieira,* Ryan Cotterell,* and Jason Eisner arXiv 2018 (preprint)

code
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner MAPL 2017

slides video
Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing Tim Vieira and Jason Eisner TACL 2017 (oral presentation at ACL 2017)

code slides video
Speed-Accuracy Tradeoffs in Tagging with Variable-Order CRFs and Structured Sparsity Tim Vieira,* Ryan Cotterell,* and Jason Eisner EMNLP 2016

code poster
Universal Decompositional Semantics on Universal Dependencies Aaron Steven White, Drew Reisinger, Keisuke Sakaguchi, Tim Vieira, Sheng Zhang, Rachel Rudinger, Kyle Rawlins, Benjamin Van Durme EMNLP 2016

website code
A Joint Model of Orthography and Morphological Segmentation Ryan Cotterell, Tim Vieira, Hinrich Schütze NAACL 2016

code data slides Best short paper runner up! 🏆
Reasoning about Quantities in Natural Language Subhro Roy, Tim Vieira, Dan Roth TACL 2015

code
Grammarless Parsing for Joint Inference Jason Naradowsky, Tim Vieira, David A. Smith COLING 2012

code
Relation Alignment for Textual Entailment Recognition M. Sammons, V. Vydiswaran, T. Vieira, N. Johri, M. Chang, D. Goldwasser, V. Srikumar, G. Kundu, Y. Tu, K. Small, J. Rule, Q. Do, D. Roth TAC 2009