Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Laure Thompson

dblp:155/8149 · DBLP profile ↗
← Back
7ranked-venue papers
1as first author
2since 2021 · last 2022
0000-0001-5752-054XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 5 · 1 first-author · 2 since 2021Security and privacy · 1Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
3 papers
Representation and self-supervised learning · 74% Information extraction and text analysis · 26%
Network and information security
1 paper
Cryptographic primitives and cryptanalysis · 100%
Software engineering, system software, and programming languages
1 paper
Program verification · 100%
Computer networks
1 paper
Network management and operations · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 8 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Natural language and speech › Information extraction and text analysis
topic model
0.622021
Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration · EMNLP (1) 2021
Quantifying the Effects of Text Duplication on Semantic Models · EMNLP 2017
Machine learning › Representation and self-supervised learning › word representation
word embedding
0.622017
Quantifying the Effects of Text Duplication on Semantic Models · EMNLP 2017
The strange geometry of skip-gram with negative sampling · EMNLP 2017
Machine learning › Representation and self-supervised learning › text embedding
phrase embedding
0.512021
Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration · EMNLP (1) 2021
Machine learning › Representation and self-supervised learning › representation learning › representation geometry
embedding geometry
0.312017
The strange geometry of skip-gram with negative sampling · EMNLP 2017
Machine learning › Representation and self-supervised learning › word representation › word embedding
skip-gram negative sampling
0.312017
The strange geometry of skip-gram with negative sampling · EMNLP 2017
Cryptographic primitives and cryptanalysis › cryptographic implementation
cryptographic implementation verification
0.312017
Vale: Verifying High-Performance Cryptographic Assembly Code · USENIX Security Symposium 2017
Network management and operations
network verification
0.212015
A Coalgebraic Decision Procedure for NetKAT · POPL 2015
Logic in computer science › algebraic logic › kleene algebra
kleene algebra with tests
0.212015
A Coalgebraic Decision Procedure for NetKAT · POPL 2015

Methods — techniques the papers use, named apart from their topics

formal verification · 0.6nearest neighbor search · 0.5contrastive fine-tuning · 0.5autoencoder · 0.5decision procedure · 0.4coalgebra · 0.4negative sampling · 0.3latent semantic analysis · 0.3
YearPublicationVenuePosition
2022 Modeling Exemplification in Long-form Question Answering via Retrieval
abstract
Shufan Wang, Fangyuan Xu, Laure Thompson, Eunsol Choi, Mohit Iyyer. Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. 2022.
Shufan Wang, Laure Thompson, Eunsol Choi, Mohit Iyyer
NAACL-HLT3
2021 Phrase-BERT: Improved Phrase Embeddings from BERT with an Application to Corpus Exploration
abstract
Phrase representations derived from BERT often do not exhibit complex phrasal compositionality, as the model relies instead on lexical similarity to determine semantic relatedness.In this paper, we propose a contrastive fine-tuning objective that enables BERT to produce more powerful phrase embeddings.Our approach (Phrase-BERT) relies on a dataset of diverse phrasal paraphrases, which is automatically generated using a paraphrase generation model, as well as a large-scale dataset of phrases in context mined from the Books3 corpus.Phrase-BERT outperforms baselines across a variety of phrase-level similarity tasks, while also demonstrating increased lexical diversity between nearest neighbors in the vector space.Finally, as a case study, we show that Phrase-BERT embeddings can be easily integrated with a simple autoencoder to build a phrase-based neural topic model that interprets topics as mixtures of words and phrases by performing a nearest neighbor search in the embedding space.Crowdsourced evaluations demonstrate that this phrase-based topic model produces more coherent and meaningful topics than baseline word and phrase-level topic models, further validating the utility of Phrase-BERT.
Shufan Wang, Laure Thompson, Mohit Iyyer
EMNLP (1)2
2018 Authorless Topic Models: Biasing Models Away from Known Structure
abstract
Most previous work in unsupervised semantic modeling in the presence of metadata has assumed that our goal is to make latent dimensions more correlated with metadata, but in practice the exact opposite is often true. Some users want topic models that highlight differences between, for example, authors, but others seek more subtle connections across authors. We introduce three metrics for identifying topics that are highly correlated with metadata, and demonstrate that this problem affects between 30 and 50% of the topics in models trained on two real-world collections, regardless of the size of the model. We find that we can predict which words cause this phenomenon and that by selectively subsampling these words we dramatically reduce topic-metadata correlation, improve topic stability, and maintain or even improve model quality.
Laure Thompson, David M. Mimno
COLING1
2017 The strange geometry of skip-gram with negative sampling
abstract
Despite their ubiquity, word embeddings trained with skip-gram negative sampling (SGNS) remain poorly understood.We find that vector positions are not simply determined by semantic similarity, but rather occupy a narrow cone, diametrically opposed to the context vectors.We show that this geometric concentration depends on the ratio of positive to negative examples, and that it is neither theoretically nor empirically inherent in related embedding algorithms.
David M. Mimno, Laure Thompson
EMNLP2
2017 Quantifying the Effects of Text Duplication on Semantic Models
abstract
Duplicate documents are a pervasive problem in text datasets and can have a strong effect on unsupervised models.Methods to remove duplicate texts are typically heuristic or very expensive, so it is vital to know when and why they are needed.We measure the sensitivity of two latent semantic methods to the presence of different levels of document repetition.By artificially creating different forms of duplicate text we confirm several hypotheses about how repeated text impacts models.While a small amount of duplication is tolerable, substantial over-representation of subsets of the text may overwhelm meaningful topical patterns.
Alexandra Schofield, Laure Thompson, David M. Mimno
EMNLP2
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 Setty, Laure Thompson
USENIX Security Symposium9
2015 A Coalgebraic Decision Procedure for NetKAT
abstract
NetKAT is a domain-specific language and logic for specifying and verifying network packet-processing functions. It consists of Kleene algebra with tests (KAT) augmented with primitives for testing and modifying packet headers and encoding network topologies. Previous work developed the design of the language and its standard semantics, proved the soundness and completeness of the logic, defined a PSPACE algorithm for deciding equivalence, and presented several practical applications.
Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva 0001, Laure Thompson
POPL5