@misc{indiciae1f9b5cdb0f68,
  title = {Towards Semantics Lifting for Scientific Computing: A Case Study on FFT},
  author = {Naifeng Zhang and Sanil Rao and Mike Franusich and Franz Franchetti},
  year = {2025},
  url = {https://arxiv.org/abs/2501.09201},
  note = {Source identifier: 2501.09201}
}