Language Models That Walk the Talk: A Framework for Formal Fairness Certificates. - Danqing Chen; Tobias Ladner; Ahmed Rayen Mhadhbi; Matthias Althoff (CoRR, 2025)