AI

Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
Ranit Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari
ASE 2025 (2025)
PDF · BibTeX · Slides
accountableSE trustworthyAI ai
Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi
arXiv (2025)
PDF · BibTeX
trustworthyAI theory ai