Home
Generator
Benchmarks
Publications
Software
Hardware
Grants
Team
Related
Internal
Publications
Sort by
year
,
publication type
,
author
,
keyword
Advanced Search and Sort
(recommended)
Full list
of abstracts and preprints
Filtered as:
all types - all years - author: Oschatz, Q. - all keywords
Corresponding
bibtex list
Q. Oschatz, N. Zhang, M. Franusich and Franz Franchetti
Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code
Proc. High Performance Extreme Computing (HPEC), 2025
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and
Markus Püschel
Electrical and Computer Engineering
,
Carnegie Mellon University, 2007
