Estimating Fr\'echet bounds for validating programmatic weak supervision