303 followers
Recent paper presented at #IJCAR: We investigate how to improve performance on proof by induction in an automated prover (Vampire). We need both learning and reasoning: conjecturing new lemmas + learning specialised strategies https://t.co/vVPiBWRoYk