TY  - RPRT
TI  - ProofWright: Towards Agentic Formal Verification of CUDA
AU  - Bodhisatwa Chatterjee
AU  - Drew Zagieboylo
AU  - Sana Damani
AU  - Siva Hari
AU  - Christos Kozyrakis
PY  - 2026
UR  - https://arxiv.org/abs/2511.12294
ID  - 2511.12294
ER  -