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:  The proposed framework is able to prove theorems both end-to-end and from scratch (i. e., without relying on example proofs from human experts).