Buchumschlag

"What Is It That You Don't Understand?" Language Games and Black Box Algorithms

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Demichelis, Remy
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computers and Society K.4.1; F.3.1; D.3.m; I.2.4; I.4.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
von: McCann, Alan L.
Veröffentlicht: (2026)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Who Shares What? An Empirical Analysis of Security Conference Content Across Academia and Industry
von: Walter, Lukas, et al.
Veröffentlicht: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
von: Huang, Xuanxiang, et al.
Veröffentlicht: (2025)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

Converting BPMN Diagrams to Privacy Calculus
von: Pitsiladis, Georgios V., et al.
Veröffentlicht: (2024)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
von: Rawat, Sanjay
Veröffentlicht: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
von: Waldinger, Richard
Veröffentlicht: (2025)

A Field Guide to Decision Making
von: Arthur, Richard B.
Veröffentlicht: (2026)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
von: Alpay, Faruk, et al.
Veröffentlicht: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

Uniform Substitution for Differential Refinement Logic
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2024)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
von: McCann, Alan L.
Veröffentlicht: (2026)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
von: McCann, Alan L.
Veröffentlicht: (2026)

A Sequent Calculus for General Inductive Definitions
von: Eede, Robbe Van den, et al.
Veröffentlicht: (2026)

The Language Labyrinth: Constructive Critique on the Terminology Used in the AI Discourse
von: Rehak, Rainer
Veröffentlicht: (2023)

The Two Boundaries: Why Behavioral AI Governance Fails Structurally
von: McCann, Alan L.
Veröffentlicht: (2026)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
von: Sundaram, Aarthi, et al.
Veröffentlicht: (2021)

Generative Fractional Diffusion Models
von: Nobis, Gabriel, et al.
Veröffentlicht: (2023)

Integration of Contextual Descriptors in Ontology Alignment for Enrichment of Semantic Correspondence
von: Manziuk, Eduard, et al.
Veröffentlicht: (2024)

AI Narrative Breakdown. A Critical Assessment of Power and Promise
von: Rehak, Rainer
Veröffentlicht: (2026)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
von: Leonhart, Emma
Veröffentlicht: (2026)

Policy Cards: Machine-Readable Runtime Governance for Autonomous AI Agents
von: Mavračić, Juraj
Veröffentlicht: (2025)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
von: Klaus, Natalia, et al.
Veröffentlicht: (2026)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2025)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
von: Arndt, Dörthe, et al.
Veröffentlicht: (2025)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
von: McCann, Alan L.
Veröffentlicht: (2026)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
von: Vatsa, Adarsh, et al.
Veröffentlicht: (2025)

AI Ethics Principles in Practice: Perspectives of Designers and Developers
von: Sanderson, Conrad, et al.
Veröffentlicht: (2021)

LLM-FACETS: A Privacy-Preserving Framework for Evaluating LLM Transparency and Accountability
von: Lucas, Tom, et al.
Veröffentlicht: (2026)

The pitfalls of verifying floating-point computations
von: Monniaux, David
Veröffentlicht: (2007)

The Relational Machine Calculus
von: Barrett, Chris, et al.
Veröffentlicht: (2024)

Provably Correct Systems: Community, connections, and citations
von: Bowen, Jonathan P.
Veröffentlicht: (2015)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

Argumentation and Machine Learning
von: Rago, Antonio, et al.
Veröffentlicht: (2024)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
von: David, Robert, et al.
Veröffentlicht: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
von: Lin, Hongyu, et al.
Veröffentlicht: (2026)