TY  - RPRT
TI  - Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
AU  - Naifeng Zhang
AU  - Sanil Rao
AU  - Mike Franusich
AU  - Franz Franchetti
PY  - 2025
UR  - https://arxiv.org/abs/2501.09201
ID  - 2501.09201
ER  -