A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908610791997440 |
|---|---|
| author | Ceragioli, Leonardo Primiero, Giuseppe |
| author_facet | Ceragioli, Leonardo Primiero, Giuseppe |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_14655 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A Proof System with Causal Labels (Part II): checking Counterfactual Fairness Ceragioli, Leonardo Primiero, Giuseppe Logic in Computer Science I.2.3, I.2.4 F.4 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. |
| title | A Proof System with Causal Labels (Part II): checking Counterfactual Fairness |
| topic | Logic in Computer Science I.2.3, I.2.4 F.4 |
| url | https://arxiv.org/abs/2507.14655 |