Follow
Laure Thompson
Title
Cited by
Cited by
Year
Vale: Verifying High-Performance Cryptographic Assembly Code
B Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ...
26th USENIX Security Symposium (USENIX Security 17), 917-934, 2017
1452017
A coalgebraic decision procedure for NetKAT
N Foster, D Kozen, M Milano, A Silva, L Thompson
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
1082015
The strange geometry of skip-gram with negative sampling
D Mimno, L Thompson
Proceedings of the 2017 Conference on Empirical Methods in Natural Language …, 2017
952017
Everest: Towards a verified, drop-in replacement of HTTPS
K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
792017
Understanding Text Pre-Processing for Latent Dirichlet Allocation
A Schofield, M Magnusson, L Thompson, D Mimno
WiNLP, 2017
602017
Quantifying the Effects of Text Duplication on Semantic Models
A Schofield, L Thompson, D Mimno
Proceedings of the 2017 Conference on Empirical Methods in Natural Language …, 2017
362017
Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration
S Wang, L Thompson, M Iyyer
arXiv preprint arXiv:2109.06304, 2021
282021
Topic Modeling with Contextualized Word Representation Clusters
L Thompson, D Mimno
arXiv preprint arXiv:2010.12626, 2020
262020
Authorless Topic Models: Biasing Models Away from Known Structure
L Thompson, D Mimno
Proceedings of the 27th International Conference on Computational …, 2018
212018
Computational Cut-Ups: The Influence of Dada
L Thompson, D Mimno
The Journal of Modern Periodical Studies 8 (2), 179-195, 2017
62017
Progressive Fusion for Multimodal Integration
S Shankar, L Thompson, M Fiterau
arXiv preprint arXiv:2209.00302, 2022
2022
Modeling Exemplification in Long-form Question Answering via Retrieval
S Wang, F Xu, L Thompson, E Choi, M Iyyer
arXiv preprint arXiv:2205.09278, 2022
2022
Constructing and Analyzing Short Science Fiction at Scale
L Thompson, D Mimno
DH, 2020
2020
Understanding and Directing What Models Learn
LJ Thompson
Cornell University, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–14