Image de couverture de livre

Stream-Based Monitoring of Algorithmic Fairness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baumeister, Jan, Finkbeiner, Bernd, Scheerer, Frederik, Siber, Julian, Wagenpfeil, Tobias
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning Logic in Computer Science Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Tutorial on Stream-based Monitoring
par: Baumeister, Jan, et autres
Publié: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
par: Baumeister, Jan, et autres
Publié: (2025)

An Intermediate Program Representation for Optimizing Stream-Based Languages
par: Baumeister, Jan, et autres
Publié: (2025)

Learning Better Representations From Less Data For Propositional Satisfiability
par: Ghanem, Mohamed, et autres
Publié: (2024)

Differentially Private Runtime Monitoring
par: Finkbeiner, Bernd, et autres
Publié: (2026)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
par: Baumeister, Jan, et autres
Publié: (2024)

Explainability Requirements as Hyperproperties
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
par: Cheng, Chih-Hong, et autres
Publié: (2024)

Closure and Complexity of Temporal Causality
par: Carelli, Mishel, et autres
Publié: (2025)

Provable Preimage Under-Approximation for Neural Networks (Full Version)
par: Zhang, Xiyue, et autres
Publié: (2023)

A DPLL(T) Framework for Verifying Deep Neural Networks
par: Duong, Hai, et autres
Publié: (2023)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
par: Murphy, William, et autres
Publié: (2024)

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata
par: Verwer, Sicco, et autres
Publié: (2022)

Type-safe Monitoring of Parameterized Streams
par: Baumeister, Jan, et autres
Publié: (2026)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Synthetic Test Data Generation Using Recurrent Neural Networks: A Position Paper
par: Behjati, Razieh, et autres
Publié: (2024)

Synthesis of Temporal Causality
par: Finkbeiner, Bernd, et autres
Publié: (2024)

Counterfactual Explanations for MITL Violations
par: Finkbeiner, Bernd, et autres
Publié: (2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
par: Lanzinger, Florian, et autres
Publié: (2024)

Relevant HAL Interface Requirements for Embedded Systems
par: Bentele, Manuel, et autres
Publié: (2025)

Next Steps in LLM-Supported Java Verification
par: Teuber, Samuel, et autres
Publié: (2025)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
par: Dougherty, Quinn, et autres
Publié: (2025)

RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
par: Kozyrev, Andrei, et autres
Publié: (2025)

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
par: Kozyrev, Andrei, et autres
Publié: (2026)

Verification Modulo Tested Library Contracts
par: Uppar, Abhishek, et autres
Publié: (2026)

MPBMC: Multi-Property Bounded Model Checking with GNN-guided Clustering
par: Roy, Soumik Guha, et autres
Publié: (2026)

Checking the HAL Interface Specification Continuously, Right from the Start
par: Bentele, Manuel, et autres
Publié: (2025)

In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
par: Mikytiv, Vladyslav, et autres
Publié: (2026)

Bounds for Quantum Circuits using Logic-Based Analysis
par: Fauseweh, Benedikt, et autres
Publié: (2024)

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
par: Hassnain, Muhammad, et autres
Publié: (2025)

Autonomous Task Completion Based on Goal-directed Answer Set Programming
par: Tudor, Alexis R.
Publié: (2025)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
par: McGeorge, Dag, et autres
Publié: (2024)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
par: Lu, Jialin, et autres
Publié: (2026)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
par: Vašíček, Ondřej, et autres
Publié: (2024)

Quantitative Monitoring of Signal First-Order Logic
par: Chalupa, Marek, et autres
Publié: (2026)

Taming Silent Failures: A Framework for Verifiable AI Reliability
par: Yang, Guan-Yan, et autres
Publié: (2025)

VERINA: Benchmarking Verifiable Code Generation
par: Ye, Zhe, et autres
Publié: (2025)

CLEVER: A Curated Benchmark for Formally Verified Code Generation
par: Thakur, Amitayush, et autres
Publié: (2025)

VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
par: Brandfonbrener, David, et autres
Publié: (2024)

Intent-aligned Formal Specification Synthesis via Traceable Refinement
par: Ye, Zhe, et autres
Publié: (2026)