/wiki/Formalization_corpora

[gusl]

The following GusWiki page is about formalization of knowledge, expressed as all different kinds of text, and possible applications of doing machine learning on these formalizations (i.e. translations).

http://www.optimizelife.com/wiki/Formalization_corpora