Tag: automated reasoning

Google DeepMind Aletheia Solves Novel Mathematical Lemmas