# zhaoyu-li/DL4TP

<https://repo.masters-masters.com/en/repos/zhaoyu-li/DL4TP>

[Home](https://repo.masters-masters.com/en) › [zhaoyu-li](https://repo.masters-masters.com/en/owners/zhaoyu-li) › [DL4TP](https://repo.masters-masters.com/en/repos/zhaoyu-li/DL4TP)

zhaoyu-li/DL4TP has 231 stars on GitHub. Its RepoMasters card: Prototype tier. \[COLM 2024\] A Survey on Deep Learning for Theorem Proving

| Field | Value |
| --- | --- |
| Owner | [zhaoyu-li](https://repo.masters-masters.com/en/owners/zhaoyu-li) |
| Stars | 231 |
| Forks | 16 |
| Language | No language |
| License | MIT |
| Created | 2024 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [zhaoyu-li/DL4TP](https://github.com/zhaoyu-li/DL4TP) |

## Repository

\[COLM 2024\] A Survey on Deep Learning for Theorem Proving

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.