Skip to content
conftrace_

saturation-based proving

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

attention-based policy (1) neural theorem proving (1) automated theorem proving (1) proof search (1) neural representation (1) first-order logic (1) attention mechanism (1) deep reinforcement learning (1)

Papers

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