AIBullisharXiv – CS AI · 9h ago7/10
🧠
VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
Researchers introduce VASO, a framework that combines formal verification with self-evolving language model skills for robot control, achieving 97.2% specification compliance on physical tasks. The approach bridges formal methods and foundation models by using counterexamples from model checking as optimization feedback for skill contracts rather than modifying underlying model weights.