author-photo

Maxwell Crouse

Northwestern University

5

Papers

25

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.

2021 AAAI | National Conference on Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (5)
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic.

2020 arXiv: Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (4)
Neural Analogical Matching

2020
Show All
- Source
- Cite
- Save
Citations (0)
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

2019 arXiv: Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (16)
High-Fidelity Vector Space Models of Structured Data.

2019
Show All
- Source
- Cite
- Save
Citations (0)