On Repairing Quantum Programs Using ChatGPT
Fuente:
arXiv
Saved in:
| Main Authors: | Guo, Xiaoyu, Zhao, Jianjun, Zhao, Pengzhan |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
by: Wu, Valentina, et al.
Published: (2025)
by: Wu, Valentina, et al.
Published: (2025)
Jailbreaking ChatGPT via Prompt Engineering: An Empirical Study
by: Liu, Yi, et al.
Published: (2023)
by: Liu, Yi, et al.
Published: (2023)
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
by: Guo, Xiaoyu, et al.
Published: (2025)
by: Guo, Xiaoyu, et al.
Published: (2025)
Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)
by: Silva, André, et al.
Published: (2025)
Assessing the Ability of ChatGPT to Screen Articles for Systematic Reviews
by: Syriani, Eugene, et al.
Published: (2023)
by: Syriani, Eugene, et al.
Published: (2023)
LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
by: Wang, Ming, et al.
Published: (2024)
by: Wang, Ming, et al.
Published: (2024)
C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)
by: Cao, Yiyuan, et al.
Published: (2025)
LLM-Based Repair of Static Nullability Errors
by: Karimipour, Nima, et al.
Published: (2025)
by: Karimipour, Nima, et al.
Published: (2025)
Exploring ChatGPT's Capabilities on Vulnerability Management
by: Liu, Peiyu, et al.
Published: (2023)
by: Liu, Peiyu, et al.
Published: (2023)
ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
by: Yao, Bingkun, et al.
Published: (2025)
by: Yao, Bingkun, et al.
Published: (2025)
Automated Code Repair for C/C++ Static Analysis Alerts
by: Svoboda, David, et al.
Published: (2025)
by: Svoboda, David, et al.
Published: (2025)
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)
by: Oliveira, Francisco, et al.
Published: (2025)
Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
by: Guo, Xiaoyu, et al.
Published: (2024)
by: Guo, Xiaoyu, et al.
Published: (2024)
A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair
by: Zhang, Quanjun, et al.
Published: (2023)
by: Zhang, Quanjun, et al.
Published: (2023)
NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)
by: Wang, Chengpeng, et al.
Published: (2024)
K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
by: Zhao, Jianhong, et al.
Published: (2024)
by: Zhao, Jianhong, et al.
Published: (2024)
Evaluating Privacy Questions From Stack Overflow: Can ChatGPT Compete?
by: Delile, Zack, et al.
Published: (2023)
by: Delile, Zack, et al.
Published: (2023)
Is ChatGPT 3 safe for students?
by: Kotovich, Julia, et al.
Published: (2024)
by: Kotovich, Julia, et al.
Published: (2024)
Prompt-Enhanced Software Vulnerability Detection Using ChatGPT
by: Zhang, Chenyuan, et al.
Published: (2023)
by: Zhang, Chenyuan, et al.
Published: (2023)
Safety Analysis in the Era of Large Language Models: A Case Study of STPA using ChatGPT
by: Qi, Yi, et al.
Published: (2023)
by: Qi, Yi, et al.
Published: (2023)
DevGPT: Studying Developer-ChatGPT Conversations
by: Xiao, Tao, et al.
Published: (2023)
by: Xiao, Tao, et al.
Published: (2023)
Unveiling the Role of ChatGPT in Software Development: Insights from Developer-ChatGPT Interactions on GitHub
by: Li, Ruiyin, et al.
Published: (2025)
by: Li, Ruiyin, et al.
Published: (2025)
QuanBench: Benchmarking Quantum Code Generation with Large Language Models
by: Guo, Xiaoyu, et al.
Published: (2025)
by: Guo, Xiaoyu, et al.
Published: (2025)
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
by: Guo, Xiaoyu, et al.
Published: (2025)
by: Guo, Xiaoyu, et al.
Published: (2025)
GUPPY: Pythonic Quantum-Classical Programming
by: Koch, Mark, et al.
Published: (2025)
by: Koch, Mark, et al.
Published: (2025)
Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)
by: Corrales-Garro, Francini, et al.
Published: (2025)
An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)
by: Zhou, Chenyu, et al.
Published: (2024)
Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)
by: Furia, Carlo A., et al.
Published: (2024)
Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)
by: Stroustrup, Bjarne
Published: (2025)
LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)
by: Khan, Ruhma, et al.
Published: (2025)
Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)
by: Dinella, Elizabeth, et al.
Published: (2023)
Why Do Developers Engage with ChatGPT in Issue-Tracker? Investigating Usage and Reliance on ChatGPT-Generated Code
by: Das, Joy Krishan, et al.
Published: (2024)
by: Das, Joy Krishan, et al.
Published: (2024)
Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)
by: Hanus, Michael
Published: (2024)
Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)
by: Prasad, Siddhartha, et al.
Published: (2023)
Towards Analyzing N-language Polyglot Programs
by: Prakash, Jyoti, et al.
Published: (2026)
by: Prakash, Jyoti, et al.
Published: (2026)
Imperative Quantum Programming with Ownership and Borrowing in Guppy
by: Koch, Mark, et al.
Published: (2025)
by: Koch, Mark, et al.
Published: (2025)
Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
by: Maddila, Chandra, et al.
Published: (2025)
by: Maddila, Chandra, et al.
Published: (2025)
Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)
by: Mohammed, Nausheen, et al.
Published: (2024)
Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)
by: Cirstea, Horatiu, et al.
Published: (2024)
Unmasking the giant: A comprehensive evaluation of ChatGPT's proficiency in coding algorithms and data structures
by: Arefin, Sayed Erfan, et al.
Published: (2023)
by: Arefin, Sayed Erfan, et al.
Published: (2023)
Similar Items
-
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
by: Wu, Valentina, et al.
Published: (2025) -
Jailbreaking ChatGPT via Prompt Engineering: An Empirical Study
by: Liu, Yi, et al.
Published: (2023) -
M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
by: Guo, Xiaoyu, et al.
Published: (2025) -
Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025) -
Assessing the Ability of ChatGPT to Screen Articles for Systematic Reviews
by: Syriani, Eugene, et al.
Published: (2023)