★ 3
Safin-1.5：面向递归安全改进的安全原生架构
论文提出 Safin-1.5，基于安全架构并以递归安全改进训练，配合推理期形式化推理框架。方法包含持久安全状态与危险知识解耦、发现-评估-修复循环，以及证明义务引导的语义桥接，使符号求解器可构造可检验证明。实验称其在安全与推理性能上超过前沿模型。
arXiv NLP8 小时前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出 Safin-1.5，基于安全架构并以递归安全改进训练，配合推理期形式化推理框架。方法包含持久安全状态与危险知识解耦、发现-评估-修复循环，以及证明义务引导的语义桥接，使符号求解器可构造可检验证明。实验称其在安全与推理性能上超过前沿模型。