GitHub repository: zhaoyu-li/DL4TP
Description: [COLM 2024] A Survey on Deep Learning for Theorem Proving