中文
相关论文

相关论文: Qiskit QuantumKatas: Adapting Microsoft's Quantum …

200 篇论文

The evaluation of mathematical reasoning capabilities is essential for advancing Artificial General Intelligence (AGI). While Large Language Models (LLMs) have shown impressive performance in solving mathematical problems, existing…

计算与语言 · 计算机科学 2025-01-15 Bo Yang , Qingping Yang , Yingwei Ma , Runtao Liu

Quantum computing platforms are susceptible to quantum-specific bugs (e.g., incorrect ordering of qubits or incorrect implementation of quantum abstractions), which are difficult to detect and require specialized expertise. The field faces…

软件工程 · 计算机科学 2025-03-24 Matteo Paltenghi , Michael Pradel

Quantum computing is gaining attention from academia and industry. With the quantum Software Development Kits (SDKs), programmers can develop quantum software to explore the power of quantum computing. However, programmers may face…

软件工程 · 计算机科学 2025-12-02 Zenghui Zhou , Yuechen Li , Yi Cai , Jinlong Wen , Xiaohan Yu , Zheng Zheng , Beibei Yin

Benchmarking of quantum machine learning (QML) algorithms is challenging due to the complexity and variability of QML systems, e.g., regarding model ansatzes, data sets, training techniques, and hyper-parameters selection. The QUantum…

As quantum computing transitions from theoretical experimentation to its practical application, the reliability of quantum software has become a critical bottleneck. Traditional static analysis techniques for quantum programs, primarily…

软件工程 · 计算机科学 2026-05-06 Pietro Cassieri , Giuseppe Scanniello , Seung Yeob Shin , Fabrizio Pastore , Domenico Bianculli

Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises quantum programs, implementing algorithms, and platforms…

软件工程 · 计算机科学 2024-10-02 Matteo Paltenghi , Michael Pradel

Background: Quantum computing is a rapidly growing new programming paradigm that brings significant changes to the design and implementation of algorithms. Understanding quantum algorithms requires knowledge of physics and mathematics,…

Large language models (LLMs) are omnipresent, however their practical deployment is challenging due to their ever increasing computational and memory demands. Quantization is one of the most effective ways to make them more compute and…

机器学习 · 计算机科学 2024-09-04 Yelysei Bondarenko , Riccardo Del Chiaro , Markus Nagel

The advancement of large language models (LLMs) has led to a greater challenge of having a rigorous and systematic evaluation of complex tasks performed, especially in enterprise applications. Therefore, LLMs need to be able to benchmark…

计算与语言 · 计算机科学 2024-10-18 Bing Zhang , Mikio Takeuchi , Ryo Kawahara , Shubhi Asthana , Md. Maruf Hossain , Guang-Jie Ren , Kate Soule , Yada Zhu

Quantum Hamiltonian simulation is one of the most promising applications of quantum computing and forms the basis for many quantum algorithms. Benchmarking them is an important gauge of progress in quantum computing technology. We present a…

Ensuring the quality of quantum programs is increasingly important; however, traditional static analysis techniques are insufficient due to the unique characteristics of quantum computing. Quantum-specific linting tools, such as LintQ, have…

软件工程 · 计算机科学 2025-04-08 Seung Yeob Shin , Fabrizio Pastore , Domenico Bianculli

Quantum software tools for a wide variety of design tasks on and across different levels of abstraction are crucial in order to eventually realize useful quantum applications. This requires practical and relevant benchmarks for new software…

量子物理 · 物理学 2023-07-26 Nils Quetschlich , Lukas Burgholzer , Robert Wille

The rise of quantum computing has driven the need for quantum software engineering, yet its programming landscape remains largely unexplored in empirical research. As quantum technologies advance toward industrial adoption, understanding…

软件工程 · 计算机科学 2025-03-10 Arif Ali Khan , Boshuai Ye , Muhammad Azeem Akbar , Javed Ali Khan , Davoud Mougouei , Xinyuan Ma

There exist various Software Development Kits (SDKs) tailored to different quantum computing platforms. These are known as Quantum SDKs (QSDKs). Examples include but are not limited to Qiskit, Cirq, and PennyLane. However, this diversity…

软件工程 · 计算机科学 2025-12-09 Nazanin Siavash , Armin Moin

Recent advancements in large language models (LLMs) are propelling us toward artificial general intelligence with their remarkable emergent abilities and reasoning capabilities. However, the substantial computational and memory requirements…

机器学习 · 计算机科学 2024-10-10 Ruihao Gong , Yang Yong , Shiqiao Gu , Yushi Huang , Chengtao Lv , Yunchen Zhang , Xianglong Liu , Dacheng Tao

As quantum software frameworks evolve, developers face increasing challenges in maintaining compatibility with rapidly changing APIs. In this work, we present a novel methodology for refactoring Qiskit code using large language models…

软件工程 · 计算机科学 2025-06-18 José Manuel Suárez , Luis Mariano Bibbó , Joaquin Bogado , Alejandro Fernandez

Quantum computing (QC) is anticipated to provide a speedup over classical HPC approaches for specific problems in optimization, simulation, and machine learning. With the advances in quantum computing toward practical applications, the need…

Quantum computing has emerged as a promising domain for the machine learning (ML) area, offering significant computational advantages over classical counterparts. With the growing interest in quantum machine learning (QML), ensuring the…

软件工程 · 计算机科学 2023-06-23 Pengzhan Zhao , Xiongfei Wu , Junjie Luo , Zhuo Li , Jianjun Zhao

As quantum programming evolves, more and more quantum programming languages are being developed. As a result, debugging and testing quantum programs have become increasingly important. While bug fixing in classical programs has come a long…

量子物理 · 物理学 2022-01-24 Junjie Luo , Pengzhan Zhao , Zhongtao Miao , Shuhan Lan , Jianjun Zhao

The rapid proliferation of large language models (LLMs) in healthcare creates an urgent need for scalable and psychometrically sound evaluation methods. Conventional static benchmarks are costly to administer repeatedly, vulnerable to data…

计算与语言 · 计算机科学 2026-03-26 Tianpeng Zheng , Zhehan Jiang , Jiayi Liu , Shicong Feng