TY  - RPRT
TI  - Correct-By-Construction: Certified Individual Fairness through Neural Network Training
AU  - Ruihan Zhang
AU  - Jun Sun
PY  - 2025
DO  - 10.1145/3763107
UR  - https://arxiv.org/abs/2508.15642
ID  - 2508.15642
ER  -