Error correction via linear programming | Synapse