본 논문은 이미지 데이터셋에 대한 기하학적 변환에 대한 신경망의 공식 검증 문제를 다루고 있어요. Super-DeepG는 선형 이완 기법과 리프시츠 최적화를 개선하여 정밀도와 계산 효율성을 높였어요. Super-DeepG는 GitHub에서 오픈 소스 도구로 공유되고 있으며, 기존 연구보다 뛰어난 성능을 보여요.