Sol Zilberman

"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs

Sol Zilberman, and Betty H.C. Cheng

4th International Workshop on Artificial Intelligence in Software Testing, AIST 2024, Toronto, Canada, May 28, 2024, (IEEE), May 2024

[Paper]

SafeDriveRL: Combining Non-cooperative Game Theory with Reinforcement Learning to Explore and Mitigate Uncertainty for Autonomous Vehicles

Kenneth Chan, Sol Zilberman, Nick Polanco, Joshua E. Siegel, and Betty H.C. Cheng

19th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024, (ACM), April 2024

[Paper]

Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence

Michael Austin Langford, Sol Zilberman, and Betty H.C. Cheng

ACM Transactions on Autonomous and Adaptive Systems, (ACM), March 2024

[Paper]