Error-correcting codes for list decoding | Synapse