50 citations · 159 across the 31 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Proving LLM-Generated GPU Kernels Correct and Safe: Floating-Point Verification in Lean and VerCors
Archibald Browne, Eugene Lee, Cristopher Salvi
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…
cs.CV2026
Stable and Near-Reversible Diffusion ODE Solvers for Image Editing
Barbora Barancikova, Daniil Shmelev, Cristopher Salvi
The inversion of diffusion models plays a central role in image editing. Algebraically reversible ODE solvers provide an appealing approach to diffusion inversion for text-guided i…