2 citations · 2 across the 4 of their papers we have counts for
9 papers
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…
Feeling UISTful: An Interactive Portrait of Scholarly Authorship, Readership, and the In-Between
Sophia W. Liu, Shm Garanganao Almeda, Max Kreminski +1
We introduce UISTful, a system that turns reading activity into a collective portrait of a scholarly community. Readers explore a semantic globe of UIST papers and authors while th…
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…
Visual Prompting with Iterative Refinement for Design Critique Generation
Peitong Duan, Chin-Yi Cheng, Bjoern Hartmann +1
Feedback is crucial for every design process, such as user interface (UI) design, and automating design critiques can significantly improve the efficiency of the design workflow. A…
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…