Proceedings of the ACM on Programming Languages· 2026Q1
YZK Çekirdeklerinin Eşdeğerlik Kontrolü
Equivalence Checking of ML GPU Kernels
- 1atıf
- Q1SCImago
- 2026yıl
Kısa özet
Araştırmacılar, LLM'ler tarafından üretilenler de dahil olmak üzere makine öğrenimi için kullanılan GPU çekirdeklerinin doğruluğunu resmi olarak doğrulayan ilk araç olan VOLTA'yı geliştirdi.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- GPU çekirdekleri için ilk resmi eşdeğerlik denetleyicisi olan VOLTA'yı tanıtmaktadır.
- VOLTA, konvolüsyonlar, matris çarpımları ve dikkat mekanizmaları gibi ML hesaplamalarının doğruluğunu doğrular.
- Araç, LLM tarafından üretilenler de dahil olmak üzere belirli bir GPU çekirdeği sınıfı için sesli ve eksiksizdir.
- LLM tarafından üretilen GPU çekirdeklerindeki resmi doğruluk garantisi eksikliğini ele almaktadır.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
With the rapid progress of deep learning and large language models (LLMs), companies spend enormous sums executing GPU kernels. These kernels have become prime targets for aggressive optimization. Recent efforts increasingly leverage LLMs to generate GPU kernels, but make no formal guarantees about the generated kernels. We present the first equivalence checker for GPU kernels and use it to formally verify the correctness of machine learning (ML) kernels optimized by hand, by LLM, and by compiler. We show that our equivalence checker is sound and, for a well-defined class of GPU kernels which includes many programs of interest, complete. Our implementation, VOLTA, can verify ML computations such as convolutions, matrix multiplications, and various attention mechanisms.
Yazarların özeti; kaynağından alınmıştır. Proceedings of the ACM on Programming Languages, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Donanım ve Mimari
Hardware and ArchitectureComputer Science