{"id":"arxiv/2609.20319","url":"https://arxiv.org/abs/2609.20319","tags":["quant-ph","cs.LG"],"score":0,"title":"QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?","domain":"quant-ph","source":"arxiv","authors":["Xujun Che","Hanhan Wu","Yuchen Yuan","Chenyang Yu"],"reviews":0,"subject":"quant-ph","summary":"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: the classical predicate is assumed to be already encoded as a correct, resource-bounded circuit. We turn this assumption into a measured capability. QEncodeBench tasks large language models (LLMs) with encoding classical constraint problems as phase oracles and scores the generated circuits with an adversarially self-validated verifier that decides full solution-set equivalence up to a global phase, with ancillas…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}