conftrace_

position evaluation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

tactic prediction (1) machine-checkable proof (1) proof assistant (1) interactive theorem prover (1) theorem proving (1)

Papers

GamePad: A Learning Environment for Theorem Proving ICLR 2019