28 citations · 44 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.RO2026
VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents
Yunhao Yang, Neel P. Bhatt, Kevin Wang +3
Reusable robot skills are becoming the basic units through which embodied agents turn open-ended instructions into long-horizon physical behavior. We argue that, while foundation m…
cs.AI2026
Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
Kevin Wang, Neel P. Bhatt, Cong Liu +7
Large language models (LLMs) can be adapted either through numerical updates that alter model parameters or symbolic manipulations that work on discrete prompts or logical constrai…