Constraining binary neutron star population synthesis models using short gamma-ray burst data | Synapse