Formal Skill: Programmable Runtime Skills for Efficient and Accurate LLM Agents
arXiv:2605.19604v1 Announce Type: new Abstract: Large Language Model (LLM) agents increasingly act inside real workspaces, where tools and skills determine whether model reasoning becomes reliable act