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

Sol Zilberman, Betty H. C. Cheng

Browse the full ICST paper archive.