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 | 181 | 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 | 124 | 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 | 119 | 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 | 93 | 2017 |
Understanding Text Pre-Processing for Latent Dirichlet Allocation A Schofield, M Magnusson, L Thompson, D Mimno WiNLP, 2017 | 85 | 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 | 74 | 2021 |
Topic Modeling with Contextualized Word Representation Clusters L Thompson, D Mimno arXiv preprint arXiv:2010.12626, 2020 | 65 | 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 | 51 | 2017 |
Authorless Topic Models: Biasing Models Away from Known Structure L Thompson, D Mimno Proceedings of the 27th International Conference on Computational …, 2018 | 26 | 2018 |
Progressive Fusion for Multimodal Integration S Shankar, L Thompson, M Fiterau arXiv preprint arXiv:2209.00302, 2022 | 8 | 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 | 7 | 2022 |
Computational Cut-Ups: The Influence of Dada L Thompson, D Mimno The Journal of Modern Periodical Studies 8 (2), 179-195, 2017 | 6 | 2017 |
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 |