Our paper Code Models are Zero-shot Precondition Reasoner is accepted at FITML Workshop at NeurIPS 2024!