:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chiodo, Maurice, Müller, Dennis, Siewert, Paul, Wetherall, Jean-Luc, Yasmine, Zoya, Burden, John
Format:	Preprint
Published:	2025
Subjects:	Computers and Society Artificial Intelligence Human-Computer Interaction History and Overview F.1; H.1.2; I.2.0; K.4.1
Online Access:	https://arxiv.org/abs/2505.10426
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

Collapsi is strongly solved
by: Young, Michael
Published: (2025)

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

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)

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

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

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

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

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

Ethical and sustainable mathematics is localised: why global paradigms fail and culturally-situated practices are essential
by: Müller, Dennis, et al.
Published: (2025)

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

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

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

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

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

Annotated square root computation in Liber Abaci and De Practica Geometrie by Fibonacci
by: Steihaug, Trond
Published: (2024)

'AI': Ideologies of Computing
by: Kerne, Andruid
Published: (2026)

Probabilistic Shoenfield Machines
by: Bujok, Maksymilian, et al.
Published: (2024)

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

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

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

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

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

MathPartner is a breakthrough technology for natural sciences education, scientic and engineering applications
by: Malaschonok, Gennadi, et al.
Published: (2025)

Dynamic Level Sets
by: Fiske, Michael Stephen
Published: (2026)

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

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

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

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

A QUBO Formulation for the Generalized Takuzu/LinkedIn Tango Game
by: Ali, Alejandro Mata, et al.
Published: (2024)

What does AI consider praiseworthy?
by: Peterson, Andrew J.
Published: (2024)

The AI Ethical Resonance Hypothesis: The Possibility of Discovering Moral Meta-Patterns in AI Systems
by: Zgliczyński-Cuber, Tomasz
Published: (2025)