A Critique of Keum-Bae Cho's Proof that P ⊊ NP.

Benjamin Carleton Michael Chavrimootoo Conor Taliancich

Published in: CoRR (2021)

Keyphrases

data sets
proof planning
information retrieval
theorem prover
theorem proving
genetic algorithm
feature selection
metadata
face recognition
natural language
mobile robot
upper bound
pac learning
proof theory
mathematical proofs
interactive theorem proving