Contributed Talk: Towards Finding Longer Proofs