2000 character limit reached
A Proof System with Causal Labels (Part II): checking Counterfactual Fairness (2507.14655v1)
Published 19 Jul 2025 in cs.LO
Abstract: In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of counterfactual fairness in probabilistic classifiers. This is obtained formulating specific structural conditions for causal labels and checking that evaluation is robust under their variation.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
