activity
20152025
most citedProxy Tasks and Subjective Measures Can Be Misleading in Evaluating Explainable AI Systems

259 citations · 387 across the 11 of their papers we have counts for

collaborators

14 papers

cs.HC2025

CorpusStudio: Surfacing Emergent Patterns in a Corpus of Prior Work while Writing

Hai Dang, Chelse Swoopes, Daniel Buschek +1

Many communities, including the scientific community, develop implicit writing norms. Understanding them is crucial for effective communication with that community. Writers gradual…

cs.PL2024

Amortizing Pragmatic Program Synthesis with Rankings

Yewen Pu, Saujas Vaduguru, Priyan Vaithilingam +2

The usage of Rational Speech Acts (RSA) framework has been successful in building \emph{pragmatic} program synthesizers that return programs which, in addition to being logically c…

cs.HC20233 cited

Designing Interfaces for Human-Computer Communication: An On-Going Collection of Considerations

Elena L. Glassman

While we do not always use words, communicating what we want to an AI is a conversation -- with ourselves as well as with it, a recurring loop with optional steps depending on the…

cs.HC2023

ChainForge: A Visual Toolkit for Prompt Engineering and LLM Hypothesis Testing

Ian Arawjo, Chelse Swoopes, Priyan Vaithilingam +2

Evaluating outputs of large language models (LLMs) is challenging, requiring making -- and making sense of -- many responses. Yet tools that go beyond basic prompting tend to requi…

cs.PL2023

Amortizing Pragmatic Program Synthesis with Rankings

Yewen Pu, Saujas Vaduguru, Priyan Vaithilingam +2

In program synthesis, an intelligent system takes in a set of user-generated examples and returns a program that is logically consistent with these examples. The usage of Rational…

cs.HC2023

The Usability of Pragmatic Communication in Regular Expression Synthesis

Priyan Vaithilingam, Yewen Pu, Elena L. Glassman

Programming-by-example (PBE) systems aim to alleviate the burden of programming. However, user-specified examples are often ambiguous, leaving multiple programs to satisfy the spec…