@misc{indiciae0944ad3dd672,
  title = {Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code},
  author = {Oschatz, Quentin [Carnegie Mellon University,Pittsburgh,USA] and Zhang, Naifeng [Carnegie Mellon University,Pittsburgh,USA] and Franusich, Mike [SpiralGen, Inc.,Pittsburgh,USA] and Franchetti, Franz [Carnegie Mellon University,Pittsburgh,USA]},
  year = {2025},
  doi = {10.1109/hpec67600.2025.11196666},
  url = {https://www.osti.gov/biblio/3377179},
  note = {Source identifier: 3377179}
}