BriefGPT.xyz
Ask
alpha
关键词
verification method
搜索结果 - 4
连续时间下神经网络控制系统的验证
通过为连续驱动的神经网络控制系统添加抽象层,我们开发了第一个连续驱动的神经网络控制系统验证方法,并通过应用于基于视觉的自主飞机滑行系统,并与固定频率分析基线进行比较,展示了该方法的有效性。
PDF
a month ago
大型语言模型可轻松自我修正
大型语言模型 (LLMs) 的内在自我纠正能力受到了研究,然而,通过掩盖问题中的关键条件,添加当前答案构建验证问题,并预测条件以验证答案的简单但有效的验证方法,提出了逐步识别和纠正可能的错误响应的迭代验证 - 纠正框架,命名为 ProCo。
→
PDF
a month ago
信任,但核实:使用深度学习进行强健图像分割
描述了一种验证深度神经网络对医学图像分割输出的方法,对各类随机和最坏情况下的扰动即对抗性攻击具有鲁棒性。该方法基于作者最近提出的一种称为 “信任但验证” 的通用方法,其中辅助验证网络使用分割结果作为输入对输入图像中的某些掩码特征进行预测。通
→
PDF
8 months ago
FormAI 数据集:基于形式验证的软件安全生成式 AI
FormAI 数据集利用动态零 - shot 提示技术构建,包含 11.2 万个 AI 生成的可以编译和独立运行的 C 程序,按漏洞类型进行了分类,并采用 SMT-based Bounded Model Checker 方法进行了验证,检测
→
PDF
a year ago
Prev
Next