10 citations · 16 across the 14 of their papers we have counts for
3 papers · 2 filters
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…
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni +7
Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to o…
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…