Home » Authors » Archibald Browne, Eugene Lee, Cristopher Salvi

Archibald Browne, Eugene Lee, Cristopher Salvi

Public reference bibliography and cataloged PDF materials authored or published by Archibald Browne, Eugene Lee, Cristopher Salvi.

Found 1 document(s) Page 1 of 1

Proving LLM-Generated GPU Kernels Correct and Safe: Floating-Point Verification in Lean and VerCors

Year: 2026 • Source: arxiv.org • Listed PDF

Modern statistical model development begins with a high-level specification in an automatic differentiation framework such as PyTorch, JAX, or TensorFlow, which is then lowered to a target backend by a compiler or implem...