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