Copertina

Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chiodo, Maurice, Müller, Dennis, Siewert, Paul, Wetherall, Jean-Luc, Yasmine, Zoya, Burden, John
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computers and Society Artificial Intelligence Human-Computer Interaction History and Overview F.1; H.1.2; I.2.0; K.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Problem of Algorithmic Collisions: Mitigating Unforeseen Risks in a Connected World
di: Chiodo, Maurice, et al.
Pubblicazione: (2025)

Manifesto for the Responsible Development of Mathematical Works -- A Tool for Practitioners and for Management
di: Chiodo, Maurice, et al.
Pubblicazione: (2023)

"We are currently clean on OPSEC": Why JD Can't Encrypt
di: Chiodo, Maurice, et al.
Pubblicazione: (2026)

Integrators at War: Mediating in AI-assisted Resort-to-Force Decisions
di: Müller, Dennis, et al.
Pubblicazione: (2025)

Collapsi is strongly solved
di: Young, Michael
Pubblicazione: (2025)

Meaning as Use, Application, Employment, Purpose, Usefulness
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

From the Notebooks to the Investigations and Beyond
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
di: Bertrand, Meven Lennon, et al.
Pubblicazione: (2026)

Moral Responsibility or Obedience: What Do We Want from AI?
di: Boland, Joseph
Pubblicazione: (2025)

Leveraging guidelines for ethical practice of statistics and computing to develop standards for ethical mathematical practice: A White Paper
di: Buell, Catherine, et al.
Pubblicazione: (2022)

Why we need an AI-resilient society
di: Bartz-Beielstein, Thomas
Pubblicazione: (2019)

Revolutionizing student course selection: Exploring the application prospects and challenges of blockchain token voting technology
di: Hu, Tiansu, et al.
Pubblicazione: (2024)

A Field Guide to Ethics in Mathematics
di: Chiodo, Maurice, et al.
Pubblicazione: (2024)

When Large Language Models are More PersuasiveThan Incentivized Humans, and Why
di: Schoenegger, Philipp, et al.
Pubblicazione: (2025)

Expressive Power of Graph Transformers via Logic
di: Ahvonen, Veeti, et al.
Pubblicazione: (2025)

When do homomorphism counts help in query algorithms?
di: Cate, Balder ten, et al.
Pubblicazione: (2023)

Probabilistic Shoenfield Machines
di: Bujok, Maksymilian, et al.
Pubblicazione: (2024)

Navigating Governance Paradigms: A Cross-Regional Comparative Study of Generative AI Governance Processes & Principles
di: Luna, Jose, et al.
Pubblicazione: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
di: de Rezende, Susanna F., et al.
Pubblicazione: (2019)

Finding a Way Through the Social Media Labyrinth: Guiding Design Through User Expectations
di: Mildner, Thomas, et al.
Pubblicazione: (2024)

Polynomial-time Tractable Problems over the $p$-adic Numbers
di: Fehm, Arno, et al.
Pubblicazione: (2025)

A Resolution-Based Interactive Proof System for UNSAT
di: Czerner, Philipp, et al.
Pubblicazione: (2024)

Level Up or Game Over: Exploring How Dark Patterns Shape Mobile Games
di: Niknejad, Sam, et al.
Pubblicazione: (2024)

Commercial AI, Conflict, and Moral Responsibility: A theoretical analysis and practical approach to the moral responsibilities associated with dual-use AI technology
di: Trusilo, Daniel, et al.
Pubblicazione: (2024)

Teaching Resources for Embedding Ethics in Mathematics: Exercises, Projects, and Handouts
di: Chiodo, Maurice, et al.
Pubblicazione: (2023)

Human Values in a Single Sentence: Moral Presence, Hierarchies, and Transformer Ensembles on the Schwartz Continuum
di: Yeste, Víctor, et al.
Pubblicazione: (2026)

'AI': Ideologies of Computing
di: Kerne, Andruid
Pubblicazione: (2026)

A Short Survey on Formalising Software Requirements using Large Language Models
di: Beg, Arshad, et al.
Pubblicazione: (2025)

Formalising Software Requirements using Large Language Models
di: Beg, Arshad, et al.
Pubblicazione: (2025)

What does AI consider praiseworthy?
di: Peterson, Andrew J.
Pubblicazione: (2024)

Physical oceanography measured on water bottle samples during POLARSTERN cruise ARK-XII
di: Ilyin, Gennady V
Pubblicazione: (2013)

Working Document -- Formalising Software Requirements with Large Language Models
di: Beg, Arshad, et al.
Pubblicazione: (2025)

A Complete Finitary Refinement Type System for Scott-Open Properties
di: Riba, Colin, et al.
Pubblicazione: (2026)

On the Satisfaction Probabilities of $k$-CNF Formulas
di: Tantau, Till
Pubblicazione: (2022)

Modeling Fairness in Recruitment AI via Information Flow
di: Brännström, Mattias, et al.
Pubblicazione: (2025)

Physical oceanography during POLARSTERN cruise ARK-XII
di: Schauer, Ursula, et al.
Pubblicazione: (1998)

A Graphical Interface for Category Theory Proofs in Coq
di: Chabassier, Luc
Pubblicazione: (2025)

Robust Computation Tree Logic
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2022)

Agentic AI, Retrieval-Augmented Generation, and the Institutional Turn: Legal Architectures and Financial Governance in the Age of Distributional AGI
di: Osmond, Marcel
Pubblicazione: (2026)

Chlorophyll a measured on water bottle samples during POLARSTERN cruise ARK-XII
di: Nöthig, Eva-Maria, et al.
Pubblicazione: (2015)