Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
3 links
Maxwell Crouse
Researcher
PaperA Deep Reinforcement Learning Approach to First-Order Logic Theorem ProvingAuthorship / preprint / 2020PaperImproving Graph Neural Network Representations of Logical Formulae with Subgraph PoolingAuthorship / preprint / 2020PaperAn Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order LogicAuthorship / preprint / 2020