Formal Proof Assistants: More Than Just A Sanity Check

By Mike Sha Mathematics is the study of symmetry, patterns, and numbers. Professional mathematicians spend most of their time thinking and proving facts about these abstract concepts. Einstein used differential geometry to formulate his theory of gravity. Machine learning researchers use differential geometry and representation theory to design effective neural networks. At the heart of … Continue reading Formal Proof Assistants: More Than Just A Sanity Check