A proof complexity conjecture and the Incompleteness theorem.

Published in: CoRR (2023)

Keyphrases

interactive theorem proving
neural network
computational complexity
worst case
theorem proving
genetic algorithm
computational cost
decision problems
fixed point
complexity measures