Live Programming for Validating AI-Generated Code