Lune

UIST2025Top-tier venue

Semantic Commit: Helping Users Update Intent Specifications for AI Memory at Scale

Priyan Vaithilingam, Munyeong Kim, Frida-Cecilia Acosta-Parenteau, Daniel Lee, Amine Mhedhbi, Elena L. Glassman, Ian Arawjo

2025Year
5Citations
1Top-tier citations

Abstract

As AI agents increasingly rely on memory systems to align with user intent, updating these memories presents challenges of semantic conflict and ambiguity.Inspired by impact analysis in software engineering, we introduce SemanticCommit, a mixedinitiative interface to help users integrate new intent into intent UIST '25, September 28-October 01, 2025, Busan, Republic of Korea Vaithilingam et al.specifications-natural language documents like AI memory lists, Cursor Rules, and game design documents-while maintaining consistency.SemanticCommit detects potential semantic conflicts using a knowledge graph-based retrieval-augmented generation pipeline, and assists users in resolving them with LLM support.Through a within-subjects study with 12 participants comparing SemanticCommit to a chat-with-document baseline (OpenAI Canvas), we find differences in workflow: half of our participants adopted a workflow of impact analysis when using SemanticCommit, where they would first flag conflicts without AI revisions then resolve conflicts locally, despite having access to a global revision feature.Additionally, users felt SemanticCommit offered a greater sense of control without increasing workload.Our findings indicate that AI agent interfaces should help users validate AI retrieval independently from generation, suggesting that the benefits from improved control can offset the costs of manual review.Our work speaks to the need for AI system designers to think about updating memory as a process that involves human feedback and decision-making.

Ask about this paper

Your agent reads all of it.

Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext e288e5df-6202-4458-bd3b-399a0d3158d3

Cited by top-tier papers1

Ask how each one uses it

Builds on32

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines