tlringer/ml-for-proofs

An open bibliography of machine learning for formal proof papers

TeX