본 논문은 형식적 설명가능 인공지능 (XAI)의 실질적인 구현의 검증에 대한 연구를 제시한다. 형식적 XAI는 다른 비형식적 방법론에 비해 엄격한 이론적 보장을 제공하지만, 실제 구현에 대한 검증은 미흡하다는 점을 지적한다. 본 논문은 형식적 설명자를 검증하기 위한 새로운 방법론을 개발하고, 공개된 형식적 설명자 PyXAI에 대한 평가를 보고한다. 실험을 통해 PyXAI가 분석된 대부분의 데이터 세트에서 잘못된 설명을 생성한다는 것을 확인하며, 이는 형식적 설명자의 검증을 위한 새로운 방법론의 중요성을 강조한다.
