3 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…
cs.PL2025
Proof Repair across Quotient Type Equivalences
Cosmo Viola, Max Fan, Talia Ringer
Proofs in proof assistants like Rocq can be brittle, breaking easily in response to changes. To address this, recent work introduced an algorithm and tool in Rocq to automatically…