6 papers
Schema-Agnostic Knowledge Graph Construction via Hybrid Ontology Discovery for Cyber Threat Intelligence
Seonwoo Kim, Jinwoo Kim, Daegyu Kang +2
Cyber threat intelligence (CTI) reports now serve as essential resources for capturing adversary tactics, techniques, and procedures observed in modern attack campaigns. While trad…
SafeVLA-Bench: A Benchmark for the Success-Safety Gap in Vision-Language-Action Models
Jialiang Fan, Weizhe Xu, Oleg Sokolsky +2
Vision-language-action (VLA) benchmarks measure whether a policy completes a requested manipulation task, but binary success can hide safety-relevant trajectory behavior: reaching…
SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems
Jialiang Fan, Weizhe Xu, Mengyu Liu +3
Safety-critical task planning in robotic systems remains challenging: classical planners suffer from poor scalability, Reinforcement Learning (RL)-based methods generalize poorly,…
IBCL: Zero-shot Model Generation under Stability-Plasticity Trade-offs
Pengyuan Lu, Michele Caprio, Eric Eaton +1
Algorithms that balance the stability-plasticity trade-off are well studied in the Continual Learning literature. However, only a few focus on obtaining models for specified trade-…
Conservative Perception Models for Probabilistic Verification
Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky +2
Verifying the behaviors of autonomous systems with learned perception components is a challenging problem due to the complexity of the perception and the uncertainty of operating e…
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
Xiayan Ji, Anton Xue, Eric Wong +2
Anomaly detection is widely used for identifying critical errors and suspicious behaviors, but current methods lack interpretability. We leverage common properties of existing meth…