Saved in:
| Main Authors: | Kasibatla, Saketh Ram, Rothkopf, Raven, Peleg, Hila, Pierce, Benjamin C., Lerner, Sorin, Goldstein, Harrison, Polikarpova, Nadia |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.05203 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The Command Line GUIde: Graphical Interfaces from Man Pages via AI
by: Kasibatla, Saketh Ram, et al.
Published: (2025)
by: Kasibatla, Saketh Ram, et al.
Published: (2025)
HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
by: González, Emmanuel Anaya, et al.
Published: (2025)
by: González, Emmanuel Anaya, et al.
Published: (2025)
Validating AI-Generated Code with Live Programming
by: Ferdowsi, Kasra, et al.
Published: (2023)
by: Ferdowsi, Kasra, et al.
Published: (2023)
Tidynote: Always-Clear Notebook Authoring
by: Huang, Ruanqianqian, et al.
Published: (2026)
by: Huang, Ruanqianqian, et al.
Published: (2026)
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)
by: Huang, Ruanqianqian, et al.
Published: (2025)
How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
by: Huang, Ruanqianqian, et al.
Published: (2025)
by: Huang, Ruanqianqian, et al.
Published: (2025)
RFSeek and Ye Shall Find
by: Rotman, Noga H., et al.
Published: (2025)
by: Rotman, Noga H., et al.
Published: (2025)
Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
by: Huang, Ruanqianqian, et al.
Published: (2025)
by: Huang, Ruanqianqian, et al.
Published: (2025)
Conversational AI for Automated Patient Questionnaire Completion: Development Insights and Design Principles
by: Navarro, David Fraile, et al.
Published: (2026)
by: Navarro, David Fraile, et al.
Published: (2026)
An Enactivist Approach to Human-Computer Interaction: Bridging the Gap Between Human Agency and Affordances
by: Hila, Angjelin
Published: (2025)
by: Hila, Angjelin
Published: (2025)
The Epistemological Consequences of Large Language Models: Rethinking collective intelligence and institutional knowledge
by: Hila, Angjelin
Published: (2025)
by: Hila, Angjelin
Published: (2025)
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
by: Barke, Shraddha, et al.
Published: (2024)
by: Barke, Shraddha, et al.
Published: (2024)
Assessing the Reliability of Large Language Models for Deductive Qualitative Coding: A Comparative Study of ChatGPT Interventions
by: Hila, Angjelin, et al.
Published: (2025)
by: Hila, Angjelin, et al.
Published: (2025)
Cognitive control and mental workload in multitasking
by: Rauffet, Philippe, et al.
Published: (2024)
by: Rauffet, Philippe, et al.
Published: (2024)
Bringing Everyone to the Table: An Experimental Study of LLM-Facilitated Group Decision Making
by: Alsobay, Mohammed, et al.
Published: (2025)
by: Alsobay, Mohammed, et al.
Published: (2025)
Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
by: Kasibatla, Saketh Ram, et al.
Published: (2024)
by: Kasibatla, Saketh Ram, et al.
Published: (2024)
The Correlations of Scene Complexity, Workload, Presence, and Cybersickness in a Task-Based VR Game
by: Sanaei, Mohammadamin, et al.
Published: (2024)
by: Sanaei, Mohammadamin, et al.
Published: (2024)
Coach not crutch: Evidence that AI can improve writing skill despite reducing effort
by: Lira, Benjamin, et al.
Published: (2025)
by: Lira, Benjamin, et al.
Published: (2025)
Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
by: Kambhamettu, Hita, et al.
Published: (2026)
by: Kambhamettu, Hita, et al.
Published: (2026)
Ethical Considerations for Observational Research in Social VR
by: Chang, Victoria, et al.
Published: (2025)
by: Chang, Victoria, et al.
Published: (2025)
Verisimilitude as Boon and Bane: How People Initiate Opportunistic Interactions at Professional Events in Social VR
by: Chang, Victoria, et al.
Published: (2025)
by: Chang, Victoria, et al.
Published: (2025)
The Human-AI Delegation Dilemma: Individual Strategies, Collective Equilibria and Sociotechnical Lock-in
by: Hila, Angjelin
Published: (2026)
by: Hila, Angjelin
Published: (2026)
"I Want It That Way": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming
by: Lawless, Connor, et al.
Published: (2023)
by: Lawless, Connor, et al.
Published: (2023)
Shareholder Democracy with AI Representatives
by: Fulay, Suyash, et al.
Published: (2025)
by: Fulay, Suyash, et al.
Published: (2025)
A Priest, a Rabbi, and an Atheist Walk Into an Error Bar: Religious Meditations on Uncertainty Visualization
by: Correll, Michael, et al.
Published: (2025)
by: Correll, Michael, et al.
Published: (2025)
Agent-Oriented Visual Programming for the Web of Things
by: Burattini, Samuele, et al.
Published: (2025)
by: Burattini, Samuele, et al.
Published: (2025)
The Ann Arbor Architecture for Agent-Oriented Programming
by: Dong, Wei
Published: (2025)
by: Dong, Wei
Published: (2025)
Reading Decisions from Gaze Direction during Graphics Turing Test of Gait Animation
by: Knopp, Benjamin, et al.
Published: (2025)
by: Knopp, Benjamin, et al.
Published: (2025)
Supporting AI-Augmented Meta-Decision Making with InDecision
by: Castañeda, Chance, et al.
Published: (2025)
by: Castañeda, Chance, et al.
Published: (2025)
Correcting User Decisions Based on Incorrect Machine Learning Decisions
by: Goldberg, Saveli, et al.
Published: (2024)
by: Goldberg, Saveli, et al.
Published: (2024)
A Value-Oriented Investigation of Photoshop's Generative Fill
by: Swift, Ian P., et al.
Published: (2024)
by: Swift, Ian P., et al.
Published: (2024)
Digital Simulations to Enhance Military Medical Evacuation Decision-Making
by: Fischer, Jeremy, et al.
Published: (2025)
by: Fischer, Jeremy, et al.
Published: (2025)
PhysioLLM: Supporting Personalized Health Insights with Wearables and Large Language Models
by: Fang, Cathy Mengying, et al.
Published: (2024)
by: Fang, Cathy Mengying, et al.
Published: (2024)
Discovery-Oriented Faceting: From Coverage to Blind-Spot Discovery
by: Li, Youdi
Published: (2026)
by: Li, Youdi
Published: (2026)
ExplainitAI: When do we trust artificial intelligence? The influence of content and explainability in a cross-cultural comparison
by: Kang, Sora, et al.
Published: (2025)
by: Kang, Sora, et al.
Published: (2025)
Do Expressions Change Decisions? Exploring the Impact of AI's Explanation Tone on Decision-Making
by: Okoso, Ayano, et al.
Published: (2025)
by: Okoso, Ayano, et al.
Published: (2025)
Does Interpretability of Knowledge Tracing Models Support Teacher Decision Making?
by: Khalid, Adia, et al.
Published: (2025)
by: Khalid, Adia, et al.
Published: (2025)
Intent Lenses: Inferring Capture-Time Intent to Transform Opportunistic Photo Captures into Structured Visual Notes
by: Ram, Ashwin, et al.
Published: (2026)
by: Ram, Ashwin, et al.
Published: (2026)
From Perception to Decision: Assessing the Role of Chart Types Affordances in High-Level Decision Tasks
by: Li, Yixuan, et al.
Published: (2024)
by: Li, Yixuan, et al.
Published: (2024)
SimulataR: Rapid Assisted Reality Prototyping using Design-Blended Videos
by: Ram, Ashwin, et al.
Published: (2025)
by: Ram, Ashwin, et al.
Published: (2025)
Similar Items
-
The Command Line GUIde: Graphical Interfaces from Man Pages via AI
by: Kasibatla, Saketh Ram, et al.
Published: (2025) -
HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
by: González, Emmanuel Anaya, et al.
Published: (2025) -
Validating AI-Generated Code with Live Programming
by: Ferdowsi, Kasra, et al.
Published: (2023) -
Tidynote: Always-Clear Notebook Authoring
by: Huang, Ruanqianqian, et al.
Published: (2026) -
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)