3 ms·
It doesn't even need to use machine learning. I have written several analyses of metamath databases to look for common patterns, and then recommend definitions
by dwheeler 7y ago
It doesn't even need to use machine learning. I have written several analyses of metamath databases to look for common patterns, and then recommend definitions or theorems to simplify things. If some expression is repeatedly used over and over again, that suggests something that should be created once for reuse.