Formal description of ML models for unambiguous implementation

Re-assign community