GitHub repository: tlringer/ml-for-proofs
Primary language: TeX
Description: An open bibliography of machine learning for formal proof papers