2 papers
cs.LG2026
KernelBench-Verified: Do LLM-Generated Kernels Actually Beat PyTorch?
Yunxiang Zhang, Ping Yu, Jianyu Wang +5
Recent large language models (LLMs) can generate custom CUDA kernels that appear to outperform PyTorch on benchmarks such as KernelBench. Building upon this foundational framework,…
math.NA2025
Mechanizing Olver's Error Arithmetic
Max Fan, Ariel E. Kellison, Samuel D. Pollard
We mechanize the fundamental properties of a rounding error model for floating-point arithmetic based on relative precision, a measure of error proposed as a substitute for relativ…