2 citations · 2 across the 4 of their papers we have counts for
6 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…
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…