Verifying Neural Clearance...