Tag Archives: Natural Language
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