Function-Correcting Codes for Locally Bounded Functions | Synapse