 |
ML Newsnew | past | best | rss | submit | about |
|
Stories from September 6, 2020 (UTC)
|
| 1. | Graph Representations for Higher-Order Logic and Theorem Proving (2019) (arxiv.org) |
| 104 points by brzozowski on Sep 6, 2020 | hide | past | pdf | 15 comments | |
| 2. | Ernie: Enhanced Representation Through Knowledge Integration (arxiv.org) |
| 4 points by based2 on Sep 6, 2020 | hide | past | pdf | discuss | |