| 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 | 193 | 2017 |
| 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 | 134 | 2017 |
| 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 | 126 | 2015 |
| 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, 2017 | 99 | 2017 |
| Understanding Text Pre-Processing for Latent Dirichlet Allocation A Schofield, M Magnusson, L Thompson, D Mimno WiNLP, 2017 | 94 | 2017 |
| 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 | 87 | 2021 |
| Topic Modeling with Contextualized Word Representation Clusters L Thompson, D Mimno arXiv preprint arXiv:2010.12626, 2020 | 81 | 2020 |
| 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 | 59 | 2017 |
| Authorless Topic Models: Biasing Models Away from Known Structure L Thompson, D Mimno Proceedings of the 27th International Conference on Computational …, 2018 | 32 | 2018 |
| Progressive Fusion for Multimodal Integration S Shankar, L Thompson, M Fiterau arXiv preprint arXiv:2209.00302, 2022 | 12 | 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 | 10 | 2022 |
| Computational Cut-Ups: The Influence of Dada L Thompson, D Mimno The Journal of Modern Periodical Studies 8 (2), 179-195, 2017 | 8 | 2017 |
| Latin Treebanks in Review: An Evaluation of Morphological Tagging Across Time M Hudspeth, B O'Connor, L Thompson arXiv preprint arXiv:2408.06675, 2024 | | 2024 |
| 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 |
David MimnoAssociate Professor, Cornell UniversityVerified email at cornell.edu
