# Category Archives: Machine Learning

## The Future of Interactive Theorem Proving?

This is a guest post, written by Zhangir Azerbayev. Zhangir is an undergraduate at Yale, majoring in computer science and mathematics. He completed this work while visiting Carnegie Mellon’s Hoskinson Center for Formal Mathematics. Introduction The history of interactive theorem … Continue reading

Posted in Machine Learning
Tagged AI, Artificial Intelligence, lean, Machine Learning, Natural Language
Leave a comment