Simple Hard Instances for Low-Depth Algebraic Proofs.

Nashlen Govindasamy Tuomas Hakoniemi Iddo Tzameret

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

highly reliable
neural network
computer vision
depth information
databases
randomly generated
theorem proving