Cover Image

From Facts to Foils: Designing and Evaluating Counterfactual Explanations for Smart Environments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Trapp, Anna, Sadeghi, Mersedeh, Vogelsang, Andreas
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SmartEx: A Framework for Generating User-Centric Explanations in Smart Environments
by: Sadeghi, Mersedeh, et al.
Published: (2024)

Generating Context-Aware Contrastive Explanations in Rule-based Systems
by: Herbold, Lars, et al.
Published: (2024)

From Issues to Insights: RAG-based Explanation Generation from Software Engineering Artifacts
by: Pöttgen, Daniel, et al.
Published: (2026)

V-SHiNE: A Virtual Smart Home Framework for Explainability Evaluation
by: Sadeghi, Mersedeh, et al.
Published: (2026)

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
by: Chu, Zhaoyang, et al.
Published: (2024)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
by: Wijayakoon, Chanuka, et al.
Published: (2025)

Smart-LLaMA: Two-Stage Post-Training of Large Language Models for Smart Contract Vulnerability Detection and Explanation
by: Yu, Lei, et al.
Published: (2024)

SmartMLOps Studio: Design of an LLM-Integrated IDE with Automated MLOps Pipelines for Model Development and Monitoring
by: Jin, Jiawei, et al.
Published: (2025)

Evaluating SAP Joule for Code Generation
by: Heisler, Joshua, et al.
Published: (2025)

Towards Fair Machine Learning Software: Understanding and Addressing Model Bias Through Counterfactual Thinking
by: Wang, Zichong, et al.
Published: (2023)

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
by: Vázquez, Gricel, et al.
Published: (2026)

Automated Multi-Source Debugging and Natural Language Error Explanation for Dashboard Applications
by: Tata, Devendra, et al.
Published: (2026)

Teaching Machines to Code: Smart Contract Translation with LLMs
by: Karanjai, Rabimba, et al.
Published: (2024)

On LLM-Assisted Generation of Smart Contracts from Business Processes
by: Stiehle, Fabian, et al.
Published: (2025)

LLM-as-a-Judge for Scalable Test Coverage Evaluation: Accuracy, Operational Reliability, and Cost
by: Huang, Donghao, et al.
Published: (2025)

From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs
by: Ho, Anh, et al.
Published: (2025)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
by: Corazza, Jan, et al.
Published: (2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
by: Liu, Ye, et al.
Published: (2025)

From Specifications to Prompts: On the Future of Generative LLMs in Requirements Engineering
by: Vogelsang, Andreas
Published: (2024)

From Human Interfaces to Agent Interfaces: Rethinking Software Design in the Age of AI-Native Systems
by: Wang, Shaolin, et al.
Published: (2026)

Empirical evaluation of LLMs in predicting fixes of Configuration bugs in Smart Home System
by: Monisha, Sheikh Moonwara Anjum, et al.
Published: (2025)

Illocutionary Explanation Planning for Source-Faithful Explanations in Retrieval-Augmented Language Models
by: Sovrano, Francesco, et al.
Published: (2026)

From Critique to Clarity: A Pathway to Faithful and Personalized Code Explanations with Large Language Models
by: Xu, Zexing, et al.
Published: (2024)

Does Pass Rate Tell the Whole Story? Evaluating Design Constraint Compliance in LLM-based Issue Resolution
by: Yu, Kai, et al.
Published: (2026)

A Comprehensive Study of Exploitable Patterns in Smart Contracts: From Vulnerability to Defense
by: Ding, Yuchen, et al.
Published: (2025)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
by: Chen, Zaoyu, et al.
Published: (2025)

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
by: Aslam, Iqra, et al.
Published: (2024)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

EV2Gym: A Flexible V2G Simulator for EV Smart Charging Research and Benchmarking
by: Orfanoudakis, Stavros, et al.
Published: (2024)

Towards a Domain-Specific Modelling Environment for Reinforcement Learning
by: Sinani, Natalie, et al.
Published: (2024)

SWE-Universe: Scale Real-World Verifiable Environments to Millions
by: Chen, Mouxiang, et al.
Published: (2026)

Enabling Predictive Maintenance in District Heating Substations: A Labelled Dataset and Fault Detection Evaluation Framework based on Service Data
by: Roelofs, Cyriana M. A., et al.
Published: (2025)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
by: Amendola, Giovanni, et al.
Published: (2024)

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering
by: Guo, Chuanzhe, et al.
Published: (2026)

Teaching LLMs to Learn Tool Trialing and Execution through Environment Interaction
by: Gao, Xingjie, et al.
Published: (2026)

RAT: RunAnyThing via Fully Automated Environment Configuration
by: Huang, Renhong, et al.
Published: (2026)

Toward Executable Repository-Level Code Generation via Environment Alignment
by: Pan, Ruwei, et al.
Published: (2026)

LOCOFY Large Design Models -- Design to code conversion solution
by: Muhammad, Sohaib, et al.
Published: (2025)

Software Engineering Agents for Embodied Controller Generation : A Study in Minigrid Environments
by: Boulet, Timothé, et al.
Published: (2025)

ResearchEnvBench: Benchmarking Agents on Environment Synthesis for Research Code Execution
by: Wang, Yubang, et al.
Published: (2026)