Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking
cs.SC, cs.AI
Submitted: 2026-10-20
Updated: 2026-10-20
Related papers
- Diverse Reasoning Paths Matter: Symbolic Equivalence Augmentation for Enhancing RL Exploration
- RISR: Residual-Informed Scientific Equation Discovery with Large Language Models
- LieDiscover: Adaptive Symbolic Library Construction for Explicit Open-form Symmetry Discovery
- Simple generators of rational function fields
- Resultant Tools for Parametric Polynomial Systems with Application to Mathematical Biology
- Generic Characteristic-Zero Equivalence Between Derivative B'ezout Inversion and Multipoint Evaluation