TY - GEN
T1 - Trustworthy Natural Language Interfaces for Quantum Optimization
T2 - 6th IEEE International Conference on Quantum Computing and Engineering, QCE 2025
AU - Sato, Kensay
AU - Singh, Mehtaab
AU - Dhadda, Rishabh
AU - Rizzuto, Anthony
AU - Atrach, Alan
AU - Xiao, Lu
AU - Wang, Ying
N1 - Publisher Copyright:
© 2025 IEEE.
PY - 2025
Y1 - 2025
N2 - As quantum computing emerges as a powerful tool for solving combinatorial optimization problems, the absence of intuitive programming interfaces remains a major barrier to practical adoption. This work presents a secure and resilient natural language interface that translates high-level optimization prompts into QUBO (Quadratic Unconstrained Binary Optimization) formulations suitable for quantum solvers such as D-Wave. The translation pipeline leverages large language models (LLMs) and incorporates multiple verification layers, including schema validation, constraint compliance checks, and reverse translation for semantic fidelity auditing. Fidelity is quantified using cosine similarity between sentence embeddings of the original and reconstructed problem descriptions, enabling intent alignment analysis. We evaluate the system across 100 optimization instances spanning five canonical problem types: Knapsack, Traveling Salesman Problem, Graph Coloring, Seating Assignment, and Team Assignment. Results show that GPT-4 significantly outperforms GPT-3.5 in complex cases such as TSP, achieving up to 90% success rates where earlier models fail entirely. Latency measurements confirm interactive performance, with most translations completing in under 6 seconds. These results demonstrate the feasibility of trustworthy natural language interfaces for quantum optimization and provide a framework for verifiable, interpretable, and efficient translation from user intent to quantum-executable code.
AB - As quantum computing emerges as a powerful tool for solving combinatorial optimization problems, the absence of intuitive programming interfaces remains a major barrier to practical adoption. This work presents a secure and resilient natural language interface that translates high-level optimization prompts into QUBO (Quadratic Unconstrained Binary Optimization) formulations suitable for quantum solvers such as D-Wave. The translation pipeline leverages large language models (LLMs) and incorporates multiple verification layers, including schema validation, constraint compliance checks, and reverse translation for semantic fidelity auditing. Fidelity is quantified using cosine similarity between sentence embeddings of the original and reconstructed problem descriptions, enabling intent alignment analysis. We evaluate the system across 100 optimization instances spanning five canonical problem types: Knapsack, Traveling Salesman Problem, Graph Coloring, Seating Assignment, and Team Assignment. Results show that GPT-4 significantly outperforms GPT-3.5 in complex cases such as TSP, achieving up to 90% success rates where earlier models fail entirely. Latency measurements confirm interactive performance, with most translations completing in under 6 seconds. These results demonstrate the feasibility of trustworthy natural language interfaces for quantum optimization and provide a framework for verifiable, interpretable, and efficient translation from user intent to quantum-executable code.
KW - AI
KW - LLM
KW - NP-Hard Problems
KW - Natural Language
KW - Optimization Problems
KW - QUBO
KW - Reverse-Engineer
UR - https://www.scopus.com/pages/publications/105030025395
UR - https://www.scopus.com/pages/publications/105030025395#tab=citedBy
U2 - 10.1109/QCE65121.2025.10298
DO - 10.1109/QCE65121.2025.10298
M3 - Conference contribution
AN - SCOPUS:105030025395
T3 - Proceedings - IEEE Quantum Week 2025, QCE 2025
SP - 79
EP - 84
BT - Keynotes, Workshops, Posters, Panels, and Tutorials Program
A2 - Culhane, Candace
A2 - Byrd, Greg
A2 - Muller, Hausi
A2 - Delgado, Andrea
A2 - Eidenbenz, Stephan
Y2 - 31 August 2025 through 5 September 2025
ER -