Simple Hard Instances for Low-Depth Algebraic Proofs.

Nashlen Govindasamy Tuomas Hakoniemi Iddo Tzameret

Published in: FOCS (2022)

Keyphrases

real time
high levels
database
databases
neural network
machine learning
active learning
d objects
randomly generated
formal proofs