"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs. - Sol Zilberman; Betty H. C. Cheng (ICSTW, 2024)

SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Human-based Uncertainty for Autonomous Vehicles. - Kenneth H. Chan; Sol Zilberman; Nick Polanco; Joshua E. Siegel; Betty H. C. Cheng (SEAMS@ICSE, 2024)

Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence. - Michael Austin Langford; Sol Zilberman; Betty H. C. Cheng (ACM Trans. Auton. Adapt. Syst., 2024)