conftrace_

formula representation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

holist benchmark (1) graph neural network (1) higher-order logic (1) proof search (1) formal verification (1) automated reasoning (1) formal methods (1) knowledge representation (1) theorem proving (1)

Papers

Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020