Reducing Trust Cost in Quantum Application Development Using AI
Generative AI can be a powerful tool for supporting the design and implementation of quantum applications, whereas the burden of checking whether generated circuits realize the intended computation increases. In this study, we regard this burden of human understanding, checking, and judgment as ``trust cost,'' and propose a development methodology that integrates AI and formal verification to reduce it. In the proposed development methodology, the implementation is divided into three components: a target mathematical specification, a quantum circuit, and a correspondence theorem and its…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.14665
curl -X POST /api/v1/records/arxiv/2610.14665/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.14665/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'