Pinned Loading
-
quantum-proof-search
quantum-proof-search PublicOptimal quantum speedups for verifier-guided proof search under learned heuristics. Code and experiments for "Quantum Amplification of Learned Heuristics" (Holcombe, 2026).
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.