An infrastructure software perspective toward computation offloading between executable specifications and foundation models2025-03-130 PRE AI RRan, Dezhi MMengzhou Wu YYuan Cao AAssaf Marron DDavid Harel TTao Xie * DOI:10.1007/s11432-025-4311-9OriginalOriginal request for helpShareSaveAbstract En