[2210.02768] Distilling Task-specific Logical Rules from Large Pre-trained Models