Before revision:  Unlike previous work, our framework is able to prove theorems both end-to-end and from scratch (i. e., without relying on example proofs from human experts).
After revision:  Unlike previous work, our framework is able to learn proof search strategies as well as tactic and arguments prediction in an end-to-end manner.