Code Models are Zero-shot Precondition Reasoners

Open in new window