Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement.
Frédéric DupuisPhilippe LamontagneLouis SalvailPublished in: CoRR (2022)
Keyphrases
- theorem proving
- theorem prover
- mathematical proofs
- interactive theorem proving
- natural deduction
- automated theorem provers
- formal proof
- automated theorem proving
- proof search
- sequent calculus
- linear logic
- cut elimination
- cognitive processes
- inference rules
- website
- computer algebra
- computational complexity
- neural network
- artificial neural networks
- case study
- mathematical knowledge
- search engine
- genetic algorithm
- data mining