Laure Thompson
Titel
Citeras av
Citeras av
År
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
1002017
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
912015
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
542017
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
492017
Understanding Text Pre-Processing for Latent Dirichlet Allocation
A Schofield, M Magnusson, L Thompson, D Mimno
WiNLP, 2017
222017
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
192017
Authorless Topic Models: Biasing Models Away from Known Structure
L Thompson, D Mimno
Proceedings of the 27th International Conference on Computational …, 2018
92018
Computational Cut-Ups: The Influence of Dada
L Thompson, D Mimno
The Journal of Modern Periodical Studies 8 (2), 179-195, 2017
32017
Topic Modeling with Contextualized Word Representation Clusters
L Thompson, D Mimno
arXiv preprint arXiv:2010.12626, 2020
12020
Understanding and Directing What Models Learn
LJ Thompson
2020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–10