An Infrastructure Software Perspective Toward Computation Offloading
between Executable Specifications and Foundation Models
An Infrastructure Software Perspective Toward Computation Offloading
between Executable Specifications and Foundation Models
Foundation Models (FMs) have become essential components in modern software systems, excelling in tasks such as pattern recognition and unstructured data processing. However, their capabilities are complemented by the precision, verifiability, and deterministic nature of executable specifications, such as symbolic programs. This paper explores a new perspective on computation offloading, …