Get started
Author

Archibald Browne

Observed name: Browne, Archibald
Observed institution: Imperial College London
OpenAlex ID: A5159137718
Proving LLM-Generated GPU Kernels Correct and Safe: Floating-Point Verification in Lean and VerCors
2026 · Browne, Archibald, Lee, Eugene, et al. · arXiv (Cornell University) · 1
PDF
Works count: 1
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type