LLM이 생성한 GPU 커널을 위한 Contract-Grade 검증기 및 Gated-Linear-Recurrence 계열을 위한 네이티브 Blackwell Backward

현재 LLM이 생성하는 GPU 커널의 정확성 검증은 단일 테스트와 느슨한 허용 오차에 의존하고 있어, 잘못된 커널을 정상으로 판단할 위험이 크다.

12개의 적대적 게이트(adversarial gates)를 통해 커널의 정확성을 엄격하게 검증하는 Contract-Grade Verifier를 제안한다. 이 도구는 단순 수치 비교를 넘어 NaN/Infinity 발생, shape 변화에 따른 동작, 정밀도(fp16 vs fp32) 누적 오류 등을 정밀하게 체크한다.

기존 시스템이 정상으로 판정한 2,638개의 커널을 감사한 결과:

• **39.5%**의 커널이 허용 오차를 벗어나 완전히 고장 난 상태였다.
• **62.1%**의 커널이 최소 하나 이상의 위반 사항을 포함하고 있었다.
• 기존 표준 테스트가 통과시킨 커널 중 1,487개를 이 검증기는 오류로 판정했다.

또한, 이 검증기를 활용해 Gated-Linear-Recurrence (GLR) 계열을 위한 최초의 네이티브 Blackwell backward 커널을 개발하고, 이중 정밀도(double-precision) 오라클을 통해 그 정확성을 입증했다.