Guiding an Automated Theorem Prover with Neural Rewriting.

Jelle Piepenbrock, Tom Heskes, Mikols Janota, Josef Urban

Browse the full CADE paper archive.