A Recurrence-Based Direct Method for Stability Analysis and GPU-Based Verification of Non-Monotonic Lyapunov Functions. - Roy Siegelmann; Yue Shen; Fernando Paganini; Enrique Mallada (CDC, 2023)

MICo: Preventative Detoxification of Large Language Models through Inhibition Control. - Roy Siegelmann; Ninareh Mehrabi; Palash Goyal; Prasoon Goyal; Lisa Bauer; Jwala Dhamala; Aram Galstyan; Rahul Gupta 001; Reza Ghanadan (NAACL-HLT (Findings), 2024)