eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks. - Stephen E. Wormald; David Selasi Koblah; Matheus Kunzler Maldaner; Domenic Forte; Damon L. Woodard (CoRR, 2025)

MIRAGE: Multi-model Interface for Reviewing and Auditing Generative Text-to-Image AI. - Matheus Kunzler Maldaner; Wesley Hanwen Deng; Jason I. Hong; Ken Holstein; Motahhare Eslami (CoRR, 2025)

Magentic-UI: Towards Human-in-the-loop Agentic Systems. - Hussein Mozannar; Gagan Bansal; Cheng Tan; Adam Fourney; Victor Dibia; Jingya Chen; Jack Gerrits; Tyler Payne; Matheus Kunzler Maldaner; Madeleine Grunde-McLaughlin; Eric Zhu; Griffin Bassman; et al. (CoRR, 2025)

Abstracting general syntax for XAI after decomposing explanation sub-components. - Stephen E. Wormald; Matheus Kunzler Maldaner; Kristian D. O'Connor; Olivia P. Dizon-Paradis; Damon L. Woodard (Artif. Intell. Rev., 2025)