Copertina

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cheng, Chih-Hong, Wu, Changshun, Zhao, Xingyu, Bensalem, Saddek, Ruess, Harald
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence Computers and Society Logic in Computer Science Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Revisiting Out-of-Distribution Detection in Real-time Object Detection: From Benchmark Pitfalls to a New Mitigation Paradigm
di: Wu, Changshun, et al.
Pubblicazione: (2025)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
di: Bensalem, Saddek, et al.
Pubblicazione: (2023)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
di: Ferrando, Angelo
Pubblicazione: (2025)

LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions
di: King, Daragh, et al.
Pubblicazione: (2025)

Can Language Models Pretend Solvers? Logic Code Simulation with LLMs
di: Chen, Minyu, et al.
Pubblicazione: (2024)

Varanus: Runtime Verification for CSP
di: Luckcuck, Matt, et al.
Pubblicazione: (2025)

MacroSwarm: A Field-based Compositional Framework for Swarm Programming
di: Aguzzi, Gianluca, et al.
Pubblicazione: (2024)

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis
di: Lu, Zhengyang, et al.
Pubblicazione: (2024)

Declarative Scenario-based Testing with RoadLogic
di: Bartocci, Ezio, et al.
Pubblicazione: (2026)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
di: Andresel, Medina, et al.
Pubblicazione: (2026)

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs
di: Sundermann, Chico, et al.
Pubblicazione: (2025)

Lawful and Accountable Personal Data Processing with GDPR-based Access and Usage Control in Distributed Systems
di: van Binsbergen, L. Thomas, et al.
Pubblicazione: (2025)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
di: Kawamoto, Yusuke, et al.
Pubblicazione: (2024)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
di: Sigloch, Paul, et al.
Pubblicazione: (2026)

CoqPilot, a plugin for LLM-based generation of proofs
di: Kozyrev, Andrei, et al.
Pubblicazione: (2024)

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
di: Evangelidis, Alexandros, et al.
Pubblicazione: (2025)

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
di: Rodríguez, Andoni, et al.
Pubblicazione: (2024)

Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
di: Qi, Yi, et al.
Pubblicazione: (2023)

Navigating Fairness: Practitioners' Understanding, Challenges, and Strategies in AI/ML Development
di: Pant, Aastha, et al.
Pubblicazione: (2024)

Fairness Concerns in App Reviews: A Study on AI-based Mobile Apps
di: Nasab, Ali Rezaei, et al.
Pubblicazione: (2024)

Regular Abstractions for Array Systems
di: Hong, Chih-Duo, et al.
Pubblicazione: (2024)

Stream-Based Monitoring of Algorithmic Fairness
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
di: Ganguly, Debargha, et al.
Pubblicazione: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models
di: Wan, Yuxuan, et al.
Pubblicazione: (2024)

Viverra: Text-to-Code with Guarantees
di: Wu, Haoze, et al.
Pubblicazione: (2026)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
di: Dougherty, Quinn, et al.
Pubblicazione: (2025)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
di: Fan, Wen, et al.
Pubblicazione: (2024)

Runtime Verification via Rational Monitor with Imperfect Information
di: Ferrando, Angelo, et al.
Pubblicazione: (2024)

Dafny as Verification-Aware Intermediate Language for Code Generation
di: Li, Yue Chen, et al.
Pubblicazione: (2025)

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
di: Wang, Zhongyi, et al.
Pubblicazione: (2025)

Predicting Fairness of ML Software Configurations
di: Herrera, Salvador Robles, et al.
Pubblicazione: (2024)

Fairness Testing through Extreme Value Theory
di: Monjezi, Verya, et al.
Pubblicazione: (2025)

$\texttt{Droid}$: A Resource Suite for AI-Generated Code Detection
di: Orel, Daniil, et al.
Pubblicazione: (2025)

Do Generative AI Tools Ensure Green Code? An Investigative Study
di: Sikand, Samarth, et al.
Pubblicazione: (2025)

Bridging the Skills Gap: A Course Model for Modern Generative AI Education
di: Bardach, Anya, et al.
Pubblicazione: (2025)

ParaStudent: Generating and Evaluating Realistic Student Code by Teaching LLMs to Struggle
di: Miroyan, Mihran, et al.
Pubblicazione: (2025)

Rapid Mobile App Development for Generative AI Agents on MIT App Inventor
di: Gao, Jaida, et al.
Pubblicazione: (2024)

Enhancing Educational Efficiency: Generative AI Chatbots and DevOps in Education 4.0
di: Mekić, Edis, et al.
Pubblicazione: (2024)