"No Free Lunch" when using Large Language Models to Verify Self-Generated Programs
4th International Workshop on Artificial Intelligence in Software Testing, AIST 2024, Toronto, Canada, May 28, 2024, (IEEE), May 2024
[Paper]My research focuses on assurance for learning-enabled safety-critical systems (e.g., autonomous vehicles).
Research Topics:
- Evolutionary Computation
- Trustworthy Autonomous Vehicles
- Deep Learning
- Reinforcement Learning
- High Assurance Computing
- Game Theory
- Computer Graphics
- Adaptive Systems
