TY  - RPRT
TI  - A Survey on Deep Learning for Theorem Proving
AU  - Zhaoyu Li
AU  - Jialiang Sun
AU  - Logan Murphy
AU  - Qidong Su
AU  - Zenan Li
AU  - Xian Zhang
AU  - Kaiyu Yang
AU  - Xujie Si
PY  - 2024
UR  - https://arxiv.org/abs/2404.09939
ID  - 2404.09939
ER  -