Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code. - Quentin Oschatz; Naifeng Zhang; Mike Franusich; Franz Franchetti (HPEC, 2025)