Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems
Fuente:
arXiv
Guardado en:
| Autores principales: | Bloomfield, Robin, Rushby, John |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Confidence in Assurance 2.0 Cases
por: Bloomfield, Robin, et al.
Publicado: (2024)
por: Bloomfield, Robin, et al.
Publicado: (2024)
Quantifying Confidence in Assurance 2.0 Arguments
por: Bloomfield, Robin, et al.
Publicado: (2026)
por: Bloomfield, Robin, et al.
Publicado: (2026)
Assurance of AI Systems From a Dependability Perspective
por: Bloomfield, Robin, et al.
Publicado: (2024)
por: Bloomfield, Robin, et al.
Publicado: (2024)
Understanding: reframing automation and assurance
por: Bloomfield, Robin
Publicado: (2026)
por: Bloomfield, Robin
Publicado: (2026)
Defeaters and Eliminative Argumentation in Assurance 2.0
por: Bloomfield, Robin, et al.
Publicado: (2024)
por: Bloomfield, Robin, et al.
Publicado: (2024)
Assessing Confidence with Assurance 2.0
por: Bloomfield, Robin, et al.
Publicado: (2022)
por: Bloomfield, Robin, et al.
Publicado: (2022)
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
por: Murugesan, Anitha, et al.
Publicado: (2024)
por: Murugesan, Anitha, et al.
Publicado: (2024)
AI Act for the Working Programmer
por: Hermanns, Holger, et al.
Publicado: (2024)
por: Hermanns, Holger, et al.
Publicado: (2024)
Impact of AI-tooling on the Engineering Workspace
por: Chretien, Lena, et al.
Publicado: (2024)
por: Chretien, Lena, et al.
Publicado: (2024)
LeafTutor: An AI Agent for Programming Assignment Tutoring
por: Bochard, Madison, et al.
Publicado: (2025)
por: Bochard, Madison, et al.
Publicado: (2025)
Balancing Innovation and Ethics in AI-Driven Software Development
por: Baqar, Mohammad
Publicado: (2024)
por: Baqar, Mohammad
Publicado: (2024)
Trustworthy AI in practice: an analysis of practitioners' needs and challenges
por: Baldassarre, Maria Teresa, et al.
Publicado: (2024)
por: Baldassarre, Maria Teresa, et al.
Publicado: (2024)
Scaling CS1 Support with Compiler-Integrated Conversational AI
por: Renzella, Jake, et al.
Publicado: (2024)
por: Renzella, Jake, et al.
Publicado: (2024)
$\texttt{Droid}$: A Resource Suite for AI-Generated Code Detection
por: Orel, Daniil, et al.
Publicado: (2025)
por: Orel, Daniil, et al.
Publicado: (2025)
Do Generative AI Tools Ensure Green Code? An Investigative Study
por: Sikand, Samarth, et al.
Publicado: (2025)
por: Sikand, Samarth, et al.
Publicado: (2025)
Navigating Fairness: Practitioners' Understanding, Challenges, and Strategies in AI/ML Development
por: Pant, Aastha, et al.
Publicado: (2024)
por: Pant, Aastha, et al.
Publicado: (2024)
Bridging the Skills Gap: A Course Model for Modern Generative AI Education
por: Bardach, Anya, et al.
Publicado: (2025)
por: Bardach, Anya, et al.
Publicado: (2025)
Understanding Student Interaction with AI-Powered Next-Step Hints: Strategies and Challenges
por: Birillo, Anastasiia, et al.
Publicado: (2025)
por: Birillo, Anastasiia, et al.
Publicado: (2025)
Rapid Mobile App Development for Generative AI Agents on MIT App Inventor
por: Gao, Jaida, et al.
Publicado: (2024)
por: Gao, Jaida, et al.
Publicado: (2024)
Fairness Concerns in App Reviews: A Study on AI-based Mobile Apps
por: Nasab, Ali Rezaei, et al.
Publicado: (2024)
por: Nasab, Ali Rezaei, et al.
Publicado: (2024)
A governance horizon for ethical-use constraints in open-weight AI models
por: Xu, Weiwei, et al.
Publicado: (2026)
por: Xu, Weiwei, et al.
Publicado: (2026)
Evaluating Generative AI for CS1 Code Grading: Direct vs Reverse Methods
por: Memon, Ahmad, et al.
Publicado: (2025)
por: Memon, Ahmad, et al.
Publicado: (2025)
Using AI-Based Coding Assistants in Practice: State of Affairs, Perceptions, and Ways Forward
por: Sergeyuk, Agnia, et al.
Publicado: (2024)
por: Sergeyuk, Agnia, et al.
Publicado: (2024)
Enhancing Educational Efficiency: Generative AI Chatbots and DevOps in Education 4.0
por: Mekić, Edis, et al.
Publicado: (2024)
por: Mekić, Edis, et al.
Publicado: (2024)
A Survey for What Developers Require in AI-powered Tools that Aid in Component Selection in CBSD
por: Ansari, Mahdi Jaberzadeh, et al.
Publicado: (2025)
por: Ansari, Mahdi Jaberzadeh, et al.
Publicado: (2025)
Enhancing Debugging Skills with AI-Powered Assistance: A Real-Time Tool for Debugging Support
por: Artser, Elizaveta, et al.
Publicado: (2026)
por: Artser, Elizaveta, et al.
Publicado: (2026)
GenAI Integration into Engineering Education: A Case Study of an Introductory Undergraduate Engineering Course
por: Kozan, Kadir, et al.
Publicado: (2026)
por: Kozan, Kadir, et al.
Publicado: (2026)
SWE-chat: Coding Agent Interactions From Real Users in the Wild
por: Baumann, Joachim, et al.
Publicado: (2026)
por: Baumann, Joachim, et al.
Publicado: (2026)
The State of Generative AI in Software Development: Insights from Literature and a Developer Survey
por: Gurgul, Vincent, et al.
Publicado: (2026)
por: Gurgul, Vincent, et al.
Publicado: (2026)
DC-Check: A Data-Centric AI checklist to guide the development of reliable machine learning systems
por: Seedat, Nabeel, et al.
Publicado: (2022)
por: Seedat, Nabeel, et al.
Publicado: (2022)
The Vibe-Check Protocol: Quantifying Cognitive Offloading in AI Programming
por: Aiersilan, Aizierjiang
Publicado: (2026)
por: Aiersilan, Aizierjiang
Publicado: (2026)
When Prompts Go Wrong: Evaluating Code Model Robustness to Ambiguous, Contradictory, and Incomplete Task Descriptions
por: Larbi, Maya, et al.
Publicado: (2025)
por: Larbi, Maya, et al.
Publicado: (2025)
Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong
por: Gaaloul, Khouloud, et al.
Publicado: (2026)
por: Gaaloul, Khouloud, et al.
Publicado: (2026)
Architectures of Error: A Philosophical Inquiry into AI and Human Code Generation
por: Sartori, Camilo Chacón
Publicado: (2025)
por: Sartori, Camilo Chacón
Publicado: (2025)
AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems
por: Badagi, Chitra, et al.
Publicado: (2026)
por: Badagi, Chitra, et al.
Publicado: (2026)
Securing the AI Frontier: Urgent Ethical and Regulatory Imperatives for AI-Driven Cybersecurity
por: Kulothungan, Vikram
Publicado: (2025)
por: Kulothungan, Vikram
Publicado: (2025)
An AI System Evaluation Framework for Advancing AI Safety: Terminology, Taxonomy, Lifecycle Mapping
por: Xia, Boming, et al.
Publicado: (2024)
por: Xia, Boming, et al.
Publicado: (2024)
ParaStudent: Generating and Evaluating Realistic Student Code by Teaching LLMs to Struggle
por: Miroyan, Mihran, et al.
Publicado: (2025)
por: Miroyan, Mihran, et al.
Publicado: (2025)
Automated Program Repair of Uncompilable Student Code
por: Pitts, Griffin, et al.
Publicado: (2025)
por: Pitts, Griffin, et al.
Publicado: (2025)
Low-code to fight climate change: the Climaborough project
por: Conrardy, Aaron, et al.
Publicado: (2025)
por: Conrardy, Aaron, et al.
Publicado: (2025)
Ejemplares similares
-
Confidence in Assurance 2.0 Cases
por: Bloomfield, Robin, et al.
Publicado: (2024) -
Quantifying Confidence in Assurance 2.0 Arguments
por: Bloomfield, Robin, et al.
Publicado: (2026) -
Assurance of AI Systems From a Dependability Perspective
por: Bloomfield, Robin, et al.
Publicado: (2024) -
Understanding: reframing automation and assurance
por: Bloomfield, Robin
Publicado: (2026) -
Defeaters and Eliminative Argumentation in Assurance 2.0
por: Bloomfield, Robin, et al.
Publicado: (2024)