compositional-verification

介绍SciTrace框架，该框架通过安全内禀推理循环和组合工具链验证器，将安全推理融入科学代理流程的每一个阶段，在保持输出质量的同时实现了最先进的安全性。