On small-depth Frege proofs for PHP.

Published in: FOCS (2023)

Keyphrases

depth map
open source
artificial intelligence
small number
database applications
depth information
neural network
computer vision
expert systems
web applications
theorem proving