An infrastructure software perspective toward computation offloading between executable specifications and foundation models

Dezhi Ran; Mengzhou Wu; Yuan Cao; Assaf Marron; David Harel; Tao Xie

doi:10.1007/s11432-025-4311-9

An infrastructure software perspective toward computation offloading between executable specifications and foundation models

Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie

Department of Computer Science and Applied Mathematics

Weizmann Institute of Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	146101
Journal	Science China Information Sciences
Volume	68
Issue number	4
DOIs	https://doi.org/10.1007/s11432-025-4311-9
State	Published - Apr 2025

All Science Journal Classification (ASJC) codes

General Computer Science

Access to Document

10.1007/s11432-025-4311-9

http://arxiv.org/abs/2501.02829License: Other

Cite this

@article{1845ecf1e48e468d9c03fcf6aea351b0,

title = "An infrastructure software perspective toward computation offloading between executable specifications and foundation models",

author = "Dezhi Ran and Mengzhou Wu and Yuan Cao and Assaf Marron and David Harel and Tao Xie",

year = "2025",

month = apr,

doi = "10.1007/s11432-025-4311-9",

language = "الإنجليزيّة",

volume = "68",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science China Press",

number = "4",

}

TY - JOUR

T1 - An infrastructure software perspective toward computation offloading between executable specifications and foundation models

AU - Ran, Dezhi

AU - Wu, Mengzhou

AU - Cao, Yuan

AU - Marron, Assaf

AU - Harel, David

AU - Xie, Tao

PY - 2025/4

Y1 - 2025/4

UR - http://www.scopus.com/inward/record.url?scp=105000511662&partnerID=8YFLogxK

U2 - 10.1007/s11432-025-4311-9

DO - 10.1007/s11432-025-4311-9

M3 - مقالة

SN - 1674-733X

VL - 68

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 4

M1 - 146101

ER -

An infrastructure software perspective toward computation offloading between executable specifications and foundation models

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this