Currently the datasets on HuggingFace do not include the distributions to sample parameters from. It would be nice to include some sensible defaults for each problem. https://jsonlines.org/ may be a nice way to do it.
Note MathOptFormat doesn't have "additionalProperties": false, so it is valid to store additional data directly in the .mof.json