logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
A

AI VERIFICATION, SAIV 2025

IF
论文数16
被引数
期刊论文 16
发表时间
delete
Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteWatson, Christopher; Alur, Rajeev; Gopinath, Divya; Mangal, Ravi; Pasareanu, Corina S.
delete分享
delete收藏
Abstraction-Based Proof Production in Formal Verification of Neural Networks (Extended Abstract)基于抽象的形式验证中神经网络证明生成（扩展摘要）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteElboher, Yizhak Yisrael; Isac, Omri; Katz, Guy; Ladner, Tobias; Wu, Haoze
delete分享
delete收藏
On the Complexity of Formal Reasoning in State Space Models (Extended Abstract)关于状态空间模型中形式推理的复杂性（扩展摘要）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlsmann, Eric; Lange, Martin
delete分享
delete收藏
Robustness Margin: A New Measure for the Robustness of Neural Networks鲁棒性裕度：衡量神经网络鲁棒性的新指标
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKielhoefer, Lionel; Bosman, Annelot W.; Hoos, Holger H.; van Rijn, Jan N.
delete分享
delete收藏
Certified Error Analysis of Homomorphically Encrypted Neural Networks同态加密神经网络的可验证误差分析
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKern, Philipp; Manino, Edoardo; Sinz, Carsten
delete分享
delete收藏
CTRAIN - A Training Library for Certifiably Robust Neural Networks (Extended Abstract)CTRAIN - 可认证鲁棒神经网络的训练库（扩展摘要）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKaulen, Konstantin; Hoos, Holger H.
delete分享
delete收藏
Quantifiers for Differentiable Logics in Rocq (Extended Abstract)Rocq中可微分逻辑的量词（扩展摘要）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteMarulanda-Giraldo, Jairo Miguel; Komendantskaya, Ekaterina; Bruni, Alessandro; Affeldt, Reynald; Capucci, Matteo; Marchioni, Enrico
delete分享
delete收藏
NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution)NeuralSAT：为DNN验证扩展约束求解（竞赛贡献）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDuong, Hai; ThanhVu Nguyen
delete分享
delete收藏
SobolBox: Boxed Refinement of Sobol Sequence Samples for Neural Network Verification (Competition Contribution)SobolBox：用于神经网络验证的Sobol序列样本的框式细化（竞赛贡献）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDas, Sarthak
delete分享
delete收藏
Neural Network Verification for Gliding Drone Control: A Case Study神经网络验证在滑翔无人机控制中的应用：一个案例研究
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKessler, Colin; Komendantskaya, Ekaterina; Casadio, Marco; Viola, Ignazio Maria; Flinkow, Thomas; Othman, Albaraa Ammar; Malhotra, Alistair; McPherson, Robbie
delete分享
delete收藏
Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification连接神经ODE与ResNet：安全性验证的正式误差界限
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSayed, Abdelrahman Sayed; Meyer, Pierre-Jean; Ghazel, Mohamed
delete分享
delete收藏
PyRAT: Verifying Neural Networks with Abstract Interpretation (Competition Contribution)PyRAT：基于抽象解释的神经网络验证（竞赛贡献）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLemesle, Augustin; Lehmann, Julien; Le Gall, Tristan; Chihani, Zakaria
delete分享
delete收藏
NNV: A Star Set Reachability Approach (Competition Contribution)NNV：一种星集可达性方法（竞赛贡献）
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLopez, Diego Manzanas; Sasaki, Samuel; Johnson, Taylor T.
delete分享
delete收藏
ClassInvGen: Class Invariant Synthesis Using Large Language ModelsClassInvGen：基于大型语言模型的类不变量合成
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSun, Chuyue; Agashe, Viraj; Chakraborty, Saikat; Taneja, Jubi; Barrett, Clark; Dill, David; Qiu, Xiaokang; Lahiri, Shuvendu K.
delete分享
delete收藏
How to Verify Generalization Capability of a Neural Network with Formal Methods如何用形式化方法验证神经网络的泛化能力
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteClaviere, Arthur; Kirov, Dmitrii; Cofer, Darren
delete分享
delete收藏
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation基于采样概率盒传播的神经网络概率验证
deleteAI VERIFICATION, SAIV 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChwialkowski, Marcel; Goubault, Eric; Putot, Sylvie
delete分享
delete收藏