ProofWright: Towards Agentic Formal Verification of CUDA. - Bodhisatwa Chatterjee; Drew Zagieboylo; Sana Damani; Siva Hari; Christos Kozyrakis (CoRR, 2025)