Learning to Formalize: Bridging Open-Ended Workloads and Fast Decision Models
Decision models offer fast choices over sup- plied alternatives, while general-purpose large language models interpret open-ended tasks through flexible generation and reasoning at the cost of sequential decoding. Many work- loads expect a generative backend to determine what can be done and therefore provide no well-d...
Cheng-Xuan Pei, Zi-Yao Wang, Teng Mei et al.
· 0 citations