Work

Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code

Year: 2025

Type: conference-paper

Source: IEEE High Performance Extreme Computing Conference

DOI: 10.1109/hpec67600.2025.11196666

Authors: Quentin Oschatz, Naifeng Zhang, Mike Franusich, Franz Franchetti

Institution: Carnegie Mellon University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, U.S. Department of Energy, Defense Advanced Research Projects Agency, Office of Science

OpenAlex ID: W4415250830

FWCI:

Cites: 11

Cited by:

Related to: