Twitch: Learning Abstractions for Equational Theorem Proving.

Guy Axelrod, Moa Johansson, Nicholas Smallbone

Browse the full IJCAR paper archive.