Search papers, labs, and topics across Lattice.
Affiliation:
5
0
7
6
GuardEn (Guarding by Safety Rule Entailment), an executable safeguard framework that decomposes safety policies into atomic propositions through Safety-Rule Compilation, modeling their composition as executable code, is proposed.
Experiments demonstrate that Code-as-Auditor delivers more accurate and evidence-backed evaluations, enabling automated compliance regulation checking grounded in explicit regulatory criteria and improves the logical consistency of the generated code and the traceability of outcomes.
Reliable robotic agency emerges not from bigger models, but from the strategic orchestration of modular components that enhance VLA capabilities.
MuSix enables embodied agents to adaptively manage knowledge across scales, outperforming traditional models in dynamic environments.
FCGraft reduces policy synthesis time by over 2x while significantly improving task success rates by leveraging validated code structures and efficient cache management.