Copertina

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lee, Christine, Porfirio, David, Wang, Xinyu Jessica, Zhao, Kevin, Mutlu, Bilge
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Human-Computer Interaction Artificial Intelligence I.2.1; I.2.5; I.2.2; I.2.7
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

MAP: Multi-user Personalization with Collaborative LLM-powered Agents
di: Lee, Christine, et al.
Pubblicazione: (2025)

CueTip: An Interactive and Explainable Physics-aware Pool Assistant
di: Memery, Sean, et al.
Pubblicazione: (2025)

MemPal: Leveraging Multimodal AI and LLMs for Voice-Activated Object Retrieval in Homes of Older Adults
di: Maniar, Natasha, et al.
Pubblicazione: (2025)

elsciRL: Integrating Language Solutions into Reinforcement Learning Problem Settings
di: Osborne, Philip, et al.
Pubblicazione: (2025)

AdaptiveCoPilot: Design and Testing of a NeuroAdaptive LLM Cockpit Guidance System in both Novice and Expert Pilots
di: Wen, Shaoyue, et al.
Pubblicazione: (2025)

Discovering High Level Patterns from Simulation Traces
di: Memery, Sean, et al.
Pubblicazione: (2026)

Semantic Commit: Helping Users Update Intent Specifications for AI Memory at Scale
di: Vaithilingam, Priyan, et al.
Pubblicazione: (2025)

Reporting and Reviewing LLM-Integrated Systems in HCI: Challenges and Considerations
di: Navarro, Karla Felix, et al.
Pubblicazione: (2026)

Towards Inclusive Video Commenting: Introducing Signmaku for the Deaf and Hard-of-Hearing
di: Chen, Si, et al.
Pubblicazione: (2024)

Trusting the Search: Unraveling Human Trust in Health Information from Google and ChatGPT
di: Sun, Xin, et al.
Pubblicazione: (2024)

An AI-powered Public Health Automated Kiosk System for Personalized Care: An Experimental Pilot Study
di: Falahati, Sonya, et al.
Pubblicazione: (2025)

A Notification Based Nudge for Handling Excessive Smartphone Use
di: Sarker, Partha, et al.
Pubblicazione: (2025)

Beyond Training: How Workers Discover Value in Enterprise AI
di: Sahni, Riya, et al.
Pubblicazione: (2025)

Talk, Listen, Connect: How Humans and AI Evaluate Empathy in Responses to Emotionally Charged Narratives
di: Roshanaei, Mahnaz, et al.
Pubblicazione: (2024)

CyanKitten: AI-Driven Markerless Motion Capture for Improved Elderly Well-Being
di: Guo, Mengyao, et al.
Pubblicazione: (2025)

Review on the Role of Virtual Reality in Reducing Mental Health Diseases Specifically Stress, Anxiety, and Depression
di: Saeed, Sadia, et al.
Pubblicazione: (2024)

EEG-Based Cognitive Load Classification During Landmark-Based VR Navigation
di: An, Jiahui, et al.
Pubblicazione: (2025)

Large Language User Interfaces: Voice Interactive User Interfaces powered by LLMs
di: Wasti, Syed Mekael, et al.
Pubblicazione: (2024)

Discovering Differences in Strategic Behavior Between Humans and LLMs
di: Wang, Caroline, et al.
Pubblicazione: (2026)

RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
di: Liu, Shunyu, et al.
Pubblicazione: (2025)

ContextBench: A Benchmark for Context Retrieval in Coding Agents
di: Li, Han, et al.
Pubblicazione: (2026)

Co-Writing with AI, on Human Terms: Aligning Research with User Demands Across the Writing Process
di: Reza, Mohi, et al.
Pubblicazione: (2025)

From Instructor to Collaborator: What a 90-Participant Study Reveals about Human-Agent Collaboration in a Mobile Serious Game
di: Korre, Danai
Pubblicazione: (2026)

AutoTRIZ: Automating Engineering Innovation with TRIZ and Large Language Models
di: Jiang, Shuo, et al.
Pubblicazione: (2024)

What Would GPT Click: Practical Effects of Human-AI Behavioral Misalignment and the Cost of Synthetic Participants in User Experience
di: Kuric, Eduard, et al.
Pubblicazione: (2026)

BudgetMLAgent: A Cost-Effective LLM Multi-Agent system for Automating Machine Learning Tasks
di: Gandhi, Shubham, et al.
Pubblicazione: (2024)

LLMs Aren't Human: A Critical Perspective on LLM Personality
di: Zierahn, Kim, et al.
Pubblicazione: (2026)

LLMs taking shortcuts in test generation: A study with SAP HANA and LevelDB
di: Bekmyradov, Vekil, et al.
Pubblicazione: (2026)

"The Data Says Otherwise"-Towards Automated Fact-checking and Communication of Data Claims
di: Fu, Yu, et al.
Pubblicazione: (2024)

The Transformative Influence of LLMs on Software Development & Developer Productivity
di: Jalil, Sajed
Pubblicazione: (2023)

Circularity and Symmetries of $p$ and $p^{2}$-polygons
di: Haag, Rolf
Pubblicazione: (2025)

AI and My Values: User Perceptions of LLMs' Ability to Extract, Embody, and Explain Human Values from Casual Conversations
di: Yun, Bhada, et al.
Pubblicazione: (2026)

Human Agency, Causality, and the Human Computer Interface in High-Stakes Artificial Intelligence
di: Hattab, Georges
Pubblicazione: (2026)

Multi-Hierarchical Feature Detection for Large Language Model Generated Text
di: Zhang, Luyan, et al.
Pubblicazione: (2025)

Towards Democratized Flood Risk Management: An Advanced AI Assistant Enabled by GPT-4 for Enhanced Interpretability and Public Engagement
di: Martelo, Rafaela, et al.
Pubblicazione: (2024)

FATHOMS-RAG: A Framework for the Assessment of Thinking and Observation in Multimodal Systems that use Retrieval Augmented Generation
di: Hildebrand, Samuel, et al.
Pubblicazione: (2025)

Towards Conditioning Clinical Text Generation for User Control
di: Koraş, Osman Alperen, et al.
Pubblicazione: (2025)

"Girl, I'm so Serious": CARE, a Capability Framework for Reproductive Equity in Human-AI Interaction
di: Zhong, Alice, et al.
Pubblicazione: (2026)

Toward Architecture-Aware Evaluation Metrics for LLM Agents
di: Souza, Débora, et al.
Pubblicazione: (2026)

HalluScan: A Systematic Benchmark for Detecting and Mitigating Hallucinations in Instruction-Following LLMs
di: Cherif, Ahmed
Pubblicazione: (2026)