Publications

Filtered as: all types - all years - all authors - keyword: Partial differential equations
Sorted by: keyword - year
Corresponding bibtex list 

Partial differential equations 

2025 

1. 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