1 paper
Chenglin Yu, Li Yin, Qingxin Fan +3
Enterprise agents must follow long-horizon, conditional, safety-critical standard operating procedures (SOPs). We compile machine-readable SOP constraints into executable pseudo-co…