ml4tp-tutorial

Jupyter Notebook ★ 5 updated 2y ago

NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving

No plain-English explanation yet — one is being written right now. Check back in a minute.