Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
机构 * Georgia Institute of Technology(佐治亚理工学院)
专题命中 安全训练 :safety(title,abstract);分类 cs.LG
Comments 10 pages, 12 figures
AI 大模型
大模型对齐、安全、越狱、红队、提示注入和可信评测。
机构 * Georgia Institute of Technology(佐治亚理工学院)
专题命中 安全训练 :safety(title,abstract);分类 cs.LG
Comments 10 pages, 12 figures
专题命中 安全训练 :alignment(abstract);safety(abstract);分类 cs.AI
Comments 9-page NeurIPS 2025 preprint including 3 figures and 1 table, with additional appendix material. Prepared using the NeurIPS 2025 preprint template and compiled with pdfLaTeX. All references are included via the provided .bbl file. Figures are in PDF format. No external supplementary files. All necessary style files and images are included
机构 * RIKEN-CCS Kobe, Japan(日本神户RIKEN-CCS)
专题命中 安全训练 :safety(abstract);trustworthy(abstract);分类 cs.CL
Comments 30 pages (9 pages of content, 5 pages of references, 16 pages of supplementary material), 7 figures, 13 tables