Сверяют forward с CPU reference, гоняют gradcheck на double, property-тесты shapes, стресс на граничные размеры и nondeterministic reductions.
Разбор
- Tolerances зависят от dtype.
- Проверяют contiguous/non-contiguous входы.
- CI на GPU runner.
- Бенчмарки отдельно от correctness.
Итог
Корректность расширения = reference + gradcheck + граничные формы.