Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

zhaoyu-li/DL4TP

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

Owner: zhaoyu-li (personal account)
Stars: Stars: 231
Forks: Forks: 16
Language: No language
License: MIT
Created: 2024
Tier: Prototype (100 to 249 ★) What this tier means