@misc{chatterjee2025,
      title={ProofWright: Towards Agentic Formal Verification of CUDA}, 
      author={Bodhisatwa Chatterjee and Drew Zagieboylo and Sana Damani and Siva Hari and Christos Kozyrakis},
      year={2025},
      eprint={2511.12294},
      archivePrefix={arXiv},
      primaryClass={cs.SE},
      url={https://arxiv.org/abs/2511.12294}, 
      doi={10.48550/arXiv.2511.12294},
}

{"_id":"Xp6cgSnHgi6nvDynY","bibbaseid":"chatterjee-zagieboylo-damani-hari-kozyrakis-proofwrighttowardsagenticformalverificationofcuda-2025","author_short":["Chatterjee, B.","Zagieboylo, D.","Damani, S.","Hari, S.","Kozyrakis, C."],"bibdata":{"bibtype":"misc","type":"misc","title":"ProofWright: Towards Agentic Formal Verification of CUDA","author":[{"firstnames":["Bodhisatwa"],"propositions":[],"lastnames":["Chatterjee"],"suffixes":[]},{"firstnames":["Drew"],"propositions":[],"lastnames":["Zagieboylo"],"suffixes":[]},{"firstnames":["Sana"],"propositions":[],"lastnames":["Damani"],"suffixes":[]},{"firstnames":["Siva"],"propositions":[],"lastnames":["Hari"],"suffixes":[]},{"firstnames":["Christos"],"propositions":[],"lastnames":["Kozyrakis"],"suffixes":[]}],"year":"2025","eprint":"2511.12294","archiveprefix":"arXiv","primaryclass":"cs.SE","url":"https://arxiv.org/abs/2511.12294","doi":"10.48550/arXiv.2511.12294","bibtex":"@misc{chatterjee2025,\n title={ProofWright: Towards Agentic Formal Verification of CUDA}, \n author={Bodhisatwa Chatterjee and Drew Zagieboylo and Sana Damani and Siva Hari and Christos Kozyrakis},\n year={2025},\n eprint={2511.12294},\n archivePrefix={arXiv},\n primaryClass={cs.SE},\n url={https://arxiv.org/abs/2511.12294}, \n doi={10.48550/arXiv.2511.12294},\n}\n","author_short":["Chatterjee, B.","Zagieboylo, D.","Damani, S.","Hari, S.","Kozyrakis, C."],"key":"chatterjee2025","id":"chatterjee2025","bibbaseid":"chatterjee-zagieboylo-damani-hari-kozyrakis-proofwrighttowardsagenticformalverificationofcuda-2025","role":"author","urls":{"Paper":"https://arxiv.org/abs/2511.12294"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/external_papers.bib","dataSources":["Hq53LMfZur9PA94Hy","4vHyEThqqf8AQQn55"],"keywords":[],"search_terms":["proofwright","towards","agentic","formal","verification","cuda","chatterjee","zagieboylo","damani","hari","kozyrakis"],"title":"ProofWright: Towards Agentic Formal Verification of CUDA","year":2025}