Tag: trustworthyAI

1. Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

   Maria Leonor Pacheco, Fabio Somenzi, Dananjay Srinivas, Ashutosh Trivedi.

   arXiv, 2025

   Paper (PDF) · arXiv · BibTeX

2. Explaining Puzzle Solutions in Natural Language: An Exploratory Study on 6x6 Sudoku

   Anirudh Maiya, Razan Alghamdi, Maria Leonor Pacheco, Ashutosh Trivedi, Fabio Somenzi.

   Findings of ACL, 2025

   Paper (PDF) · arXiv · BibTeX

3. Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations

   Ranit Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari.

   ASE 2025

   Paper (PDF) · arXiv · BibTeX · Slides

4. Regular Reinforcement Learning

   Taylor Dohmen, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi.

   CAV, 2024
   CAV Distinguished Paper Award

   Paper (PDF) · Publisher · BibTeX

5. Metamorphic Testing and Debugging of Tax Preparation Software

   Saeid Tizpaz-Niari, Verya Monjezi, Morgan Wagner, Shiva Darian, Krystia Reed, Ashutosh Trivedi.

   ICSE-SEIS 2023

   Paper (PDF) · arXiv · Publisher · BibTeX

6. Fairness-aware Configuration of Machine Learning Libraries

   Saeid Tizpaz-Niari, Ashish Kumar, Gang (Gary) Tan, Ashutosh Trivedi.

   ICSE 2022

   Paper (PDF) · arXiv · Publisher · BibTeX

7. Recursive Reinforcement Learning

   Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.

   NeurIPS, 2022

   Paper (PDF) · arXiv · BibTeX

8. Omega-Regular Objectives in Model-Free Reinforcement Learning

   Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak.

   TACAS, 2019

   Paper (PDF) · arXiv · Publisher · BibTeX