Formal Skill: Programmable Runtime Skills for Efficient and Accurate LLM Agents. - Xi Zhang; Meijun Gao; Yuntian Zhao; Xinyu Tan; Yilun Yao; Feiyu Wang 002; Yanshu Wang; Dingsiyi; Tong Yang 003 (CoRR, 2026)