2 citations · 2 across the 4 of their papers we have counts for
7 papers · 1 filter
Mylar: Exploring Self-Curation as a Reflexive Creative Practice
Kate Chier, Shm Garanganao Almeda, Bjoern Hartmann
The container holding an artist's work can itself be just as expressive as the work it presents. We investigate self-curation as a creative practice, asking how artists explore and…
Feeling Wistful: Reflecting on Scholarly Sensibilities with Creative Reading Traces
Sophia W. Liu, Kate Chier, Shm Garanganao Almeda +2
Researchers often read before they can articulate what they are looking for. As AI increasingly mediates scholarly search and synthesis, understanding and preserving the idiosyncra…
LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs
Chenjun Guo, Manooshree Patel, Arnav Mehta +7
Large language models are increasingly used as collaborators on deductive-reasoning tasks, but their outputs can hallucinate or pull users away from intended reasoning. Formal proo…
The Systems Paper is Dead. Long Live the Systems Paper
Bjoern Hartmann
The way we structure, conduct, and write up interactive systems research in UIST papers rests on assumptions about constraints that may no longer hold today. What should an impactf…
Who's Keeping Score? Interactive Steering of LLM-Powered Scoring with Attune
Bhavya Chopra, Meng Chen, Rebecca Dang +5
Large language models (LLMs) are increasingly used to score text records at scale (e.g., rating candidate resumes on a 1-5 scale). However, existing LLM-powered approaches do not a…
Artographer: a Curatorial Interface for Art Space Exploration
Shm Garanganao Almeda, John Joon Young Chung, Sophia Liu +4
Relating a piece to previously established works is crucial in creating and engaging with art, but AI interfaces tend to obscure such relationships, rather than helping users explo…
Conversation Regression Testing: A Design Technique for Prototyping Generalizable Prompt Strategies for Pre-trained Language Models
J. D. Zamfirescu-Pereira, Bjoern Hartmann, Qian Yang
Pre-trained language models (LLMs) such as GPT-3 can carry fluent, multi-turn conversations out-of-the-box, making them attractive materials for chatbot design. Further, designers…