Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
2
0
4
14
Tighter certified robustness against word substitution attacks is achievable by controlling both gradient sensitivity and its variation, yielding up to 23.4% improvement in accuracy.
Guaranteeing safety and liveness in complex control systems doesn't require monolithic design; this work shows how to decompose the problem across layers with formal contracts.