QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?

Xujun Che, Hanhan Wu, Yuchen Yuan +1

Grover search, amplitude amplification, and quantum counting all rely on the same reusable subroutine, a phase oracle, whose construction the algorithms literature takes as given:…