217 citations · 2.1k across the 107 of their papers we have counts for
Showing 2019 · cs.AIShow all
2 papers · 2 filters
cs.AI2019★ 23 cited
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio +4
Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. I…
cs.AI2019
High-Fidelity Vector Space Models of Structured Data
Maxwell Crouse, Achille Fokoue, Maria Chang +6
Machine learning systems regularly deal with structured data in real-world applications. Unfortunately, such data has been difficult to faithfully represent in a way that most mach…