Using Learning with Rounding to Instantiate Post-Quantum Cryptographic Algorithms | Synapse