TY  - RPRT
TI  - An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
AU  - Dezhi Ran
AU  - Mengzhou Wu
AU  - Yuan Cao
AU  - Assaf Marron
AU  - David Harel
AU  - Tao Xie
PY  - 2025
UR  - https://arxiv.org/abs/2501.02829
ID  - 2501.02829
ER  -