1 citations · 1 across the 3 of their papers we have counts for
4 papers
Theorem Provers: One Size Fits All?
Harrison Oates, Hyeonggeun Yun, Nikhila Gurusinghe
Theorem provers are important tools for people working in formal verification. There are a myriad of interactive systems available today, with varying features and approaches motiv…
Interaction-Driven Browsing: A Human-in-the-Loop Conceptual Framework Informed by Human Web Browsing for Browser-Using Agents
Hyeonggeun Yun, Jinkyu Jang
Although browser-using agents (BUAs) show promise for web tasks and automation, most BUAs terminate after executing a single instruction, failing to support users' complex, nonline…
UX Remix: Improving Measurement Item Design Process Using Large Language Models and Prior Literature
Hyeonggeun Yun, Jinkyu Jang
Researchers often struggle to develop measurement items and lack a standardized process. To support the design process, we present UX Remix, a system to help researchers develop co…
Interaction as Explanation: A User Interaction-based Method for Explaining Image Classification Models
Hyeonggeun Yun
In computer vision, explainable AI (xAI) methods seek to mitigate the 'black-box' problem by making the decision-making process of deep learning models more interpretable and trans…