arXiv Machine Learning July 28, 2026 By Tanmay Khandait, Preetom Biswas, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Giulia Pedrielli

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems

Read the original on arXiv Machine Learning →

arXiv:2607. 23134v1 Announce Type: new Abstract: Discovering rare safety-critical failures in autonomous and cyber-physical systems is a fundamental challenge in verification and validation.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv Machine Learning.

arXiv AI

Jul 17

SMC-ES: Automated synthesis of formally verified control policies

arXiv:2607. 15003v1 Announce Type: new Abstract: The deployment of autonomous cyber-physical systems in safety-critical environments requires closed-loop control strategies (i.

By Riccardo Curcio, Toni Mancini, Enrico Tronci

agents reinforcement-learning safety

arXiv AI

Jun 3

ProEval: Proactive Failure Discovery and Efficient Performance Estimation for Generative AI Evaluation

arXiv:2604. 23099v2 Announce Type: replace-cross Abstract: Evaluating generative AI models is increasingly resource-intensive due to slow inference, expensive raters, and a rapidly growing landscape of models and benchmarks.

By Yizheng Huang, Wenjun Zeng, Aditi Kumaresan, Zi Wang

fine-tuning benchmarks safety

arXiv AI

Aug 25

Where World Models Break: Natural-Input Failure Discovery

arXiv:2608.22421v1 Announce Type: new Abstract: World models predict action-conditioned futures and serve as critical internal simulators for downstream planning and control. However, catastrophic pr...

By Zhanpeng Shi, Zi Liang, Rong Feng, Shiqin Tang, Xuyang Chen, Hongzong Li

agents benchmarks

arXiv AI

Aug 25

Agentic Security: A Systematization of Tools, Failure Modes, and Design Laws for LLM-Driven Penetration Testing

arXiv:2608.21423v1 Announce Type: cross Abstract: Agentic security uses large-language-model (LLM) agents to plan, dispatch, and interpret security tools. As these systems move from demonstrations to...

By Israt Moyeen Noumi, Tarannum Ahmed Nowshin, Md. Mehedi Hasan Nipu, Mohammad Sakib Mahmood, Md. Jakir Hossain, M. F. Mridha

llms agents safety

arXiv AI

Jul 1

Revealing Safety-Critical Scenarios for UTM via Transformer

arXiv:2606. 31114v1 Announce Type: new Abstract: Unmanned Traffic Management (UTM) systems are cloud-based platforms designed to manage and coordinate multiple aerial vehicles remotely.

By Huaze Tang, Bill Zeng, Chao Wang, Zhenpeng Shi, Qian Zhang, Wenbo Ding

llms reinforcement-learning safety

arXiv Machine Learning

2d ago

Learning to Explain While Planning: Rule-Aligned Diffusion Planning for Autonomous Driving

arXiv:2609.39995v2 Announce Type: new Abstract: Diffusion planners exhibit strong capabilities in generating multimodal trajectories. However, existing methods primarily rely on expert demonstrations...

By Jiaxi Ye, Chunji Lv, Guoren Wang, Changsheng Li

agents diffusion robotics multimodal safety

One email a morning, machine-written

Related stories

SMC-ES: Automated synthesis of formally verified control policies

ProEval: Proactive Failure Discovery and Efficient Performance Estimation for Generative AI Evaluation

Where World Models Break: Natural-Input Failure Discovery

Agentic Security: A Systematization of Tools, Failure Modes, and Design Laws for LLM-Driven Penetration Testing

Revealing Safety-Critical Scenarios for UTM via Transformer

Learning to Explain While Planning: Rule-Aligned Diffusion Planning for Autonomous Driving