PapersBuilders12:12Chinese contentConDR:通过神经 HJI 子解实现保守可达性分析ConDR 修了 DeepReach 会把危险状态漏判成安全的毛病,在 Air3D、四旋翼这些基准上碰撞率最低,做安全控制可以看看。#Hamilton-Jacobi#DeepReach#安全分析#可达性aarXiv cs.LG@Kendra Givens et al. (4)SourceRead laterReadWorth followingUsefulFollow Hamilton-Jacobi
How-toBuilders22:16Chinese contentSimon Willison:用HTML解释Linux漏洞POC这种方法展示了AI在技术文档和漏洞分析中的实用价值,尤其对安全研究人员和开发者在理解复杂代码时有参考意义。#AI应用#Linux漏洞#HTML解释#安全分析Official accountSimon Willison@simonwSourceRead laterReadWorth followingUsefulFollow AI应用