Before revision:  A major challenge towards formalizing this intuition is to define complexity measures that are quantitative yet capture the essence of data that admits generalization.
After revision:  A major challenge in formalizing this intuition is to define complexity measures that are quantitative yet capture the essence of data that admits generalization.