A Type System for GPU Auctions: Turning AI Workloads Into Comparable Cluster Bids

Take a cluster request that reads: “64 H100s for training.” It feels precise because the model and quantity are explicit, and the word training supplies a workload. Procurement can send it and provide