TY  - RPRT
TI  - Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code
AU  - Oschatz, Quentin [Carnegie Mellon University,Pittsburgh,USA]
AU  - Zhang, Naifeng [Carnegie Mellon University,Pittsburgh,USA]
AU  - Franusich, Mike [SpiralGen, Inc.,Pittsburgh,USA]
AU  - Franchetti, Franz [Carnegie Mellon University,Pittsburgh,USA]
PY  - 2025
DO  - 10.1109/hpec67600.2025.11196666
UR  - https://www.osti.gov/biblio/3377179
ID  - 3377179
ER  -