VeriGuard: Enhancing LLM Agent Safety via Verified Code Generation
Lesly Miculicich, Mihir Parmar, Hamid Palangi, Krishnamurthy Dj Dvijotham, Mirko Montanari, Tomas Pfister, Long T. Le
https://arxiv.org/abs/2510.05156
Dynamical Pathways to the Misalignment of the VHS 1256-1257 System
Liz Holzknecht, Smadar Naoz, Cheyanne Shariat
https://arxiv.org/abs/2509.21452 https://a…
Atlas-free Brain Network Transformer
Shuai Huang, Xuan Kan, James J. Lah, Deqiang Qiu
https://arxiv.org/abs/2510.03306 https://arxiv.org/pdf/2510.03306
Joint Neural SDF Reconstruction and Semantic Segmentation for CAD Models
Shen Fan, Przemyslaw Musialski
https://arxiv.org/abs/2510.03837 https://arxiv.org/…