# Graph Representations for Higher-Order Logic and Theorem Proving

Article · Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy

- Archive id: doi:10.1609/aaai.v34i03.5689
- Published: 2020-04-03
- Venue: AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI))
- DOI: https://doi.org/10.1609/aaai.v34i03.5689
- Citations: 68
- Source URL: https://ojs.aaai.org/index.php/AAAI/article/view/5689
- PDF: https://ojs.aaai.org/index.php/AAAI/article/download/5689/5545
- Provenance: openalex

_Abstract not reproduced: its license does not permit redistribution. See the source URL._

Topics: [AI for Mathematics & Formal Proof](https://space-kitty.com/topics/ai-mathematics)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.