A Coalgebraic Decision Procedure for NetKAT. - Nate Foster; Dexter Kozen; Mae Milano; Alexandra Silva 001; Laure Thompson (POPL, 2015)

The strange geometry of skip-gram with negative sampling. - David M. Mimno; Laure Thompson (EMNLP, 2017)

Quantifying the Effects of Text Duplication on Semantic Models. - Alexandra Schofield; Laure Thompson; David M. Mimno (EMNLP, 2017)

Everest: Towards a Verified, Drop-in Replacement of HTTPS. - Karthikeyan Bhargavan; Barry Bond; Antoine Delignat-Lavaud; Cédric Fournet; Chris Hawblitzel; Catalin Hritcu; Samin Ishtiaq; Markulf Kohlweiss; K. Rustan M. Leino; Jay R. Lorch; Kenji Maillard; Jianyang Pan; et al. (SNAPL, 2017)

Vale: Verifying High-Performance Cryptographic Assembly Code. - Barry Bond; Chris Hawblitzel; Manos Kapritsos; K. Rustan M. Leino; Jacob R. Lorch; Bryan Parno; Ashay Rane; Srinath T. V. Setty; Laure Thompson (USENIX Security Symposium, 2017)

Authorless Topic Models: Biasing Models Away from Known Structure. - Laure Thompson; David Mimno (COLING, 2018)

Constructing and Analyzing Short Science Fiction at Scale. - Laure Thompson; David Mimno (DH, 2020)

Topic Modeling with Contextualized Word Representation Clusters. - Laure Thompson; David Mimno (CoRR, 2020)

Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration. - Shufan Wang; Laure Thompson; Mohit Iyyer (EMNLP (1), 2021)

Modeling Exemplification in Long-form Question Answering via Retrieval. - Shufan Wang; Fangyuan Xu; Laure Thompson; Eunsol Choi; Mohit Iyyer (NAACL-HLT, 2022)

Progressive Fusion for Multimodal Integration. - Shiv Shankar; Laure Thompson; Madalina Fiterau (CoRR, 2022)

Latin Treebanks in Review: An Evaluation of Morphological Tagging Across Time. - Marisa Hudspeth; Brendan T. O'Connor 001; Laure Thompson (CoRR, 2024)