NeurIPS Tutorial on Machine Learning for Theorem Proving - 2023

Emacs 29.4 (Org mode 9.6.15)