Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems
Tanmay Khandait, Preetom Biswas, Hideki Okamoto +3
Discovering rare safety-critical failures in autonomous and cyber-physical systems is a fundamental challenge in verification and validation. Existing falsification approaches rely…
cs.LG2026
Causality by Abstraction: Symbolic Rule Learning in Multivariate Timeseries with Large Language Models
Preetom Biswas, Giulia Pedrielli, K. Selçuk Candan
Inferring causal relations in timeseries data with delayed effects is a fundamental challenge, especially when the underlying system exhibits complex dynamics that cannot be captur…