Get started
Author

Eugene Lee

Observed name: Lee, Eugene
Observed institution: Imperial College London
OpenAlex ID: A5159122871
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