Premise selection for theorem proving by deep graph embedding
- Mingzhe Wang
- , Yihe Tang
- , Jian Wang
- , Jia Deng
Research output: Contribution to journal › Conference article › peer-review
92
Link opens in a new tab
Scopus
citations