中文
相关论文

相关论文: Machine Learning for Quantifier Selection in cvc5

200 篇论文

The efficacy of machine learning models is typically determined by computing their accuracy on test data sets. However, this may often be misleading, since the test data may not be representative of the problem that is being studied. With…

机器学习 · 计算机科学 2021-10-26 Muhammad Usman , Divya Gopinath , Corina S. Păsăreanu

Quantum Machine Learning (QML) offers tremendous potential but is currently limited by the availability of qubits. We introduce an innovative approach that utilizes pre-trained neural networks to enhance Variational Quantum Circuits (VQC).…

机器学习 · 计算机科学 2024-11-14 Jun Qi , Chao-Han Yang , Samuel Yen-Chi Chen , Pin-Yu Chen , Hector Zenil , Jesper Tegner

Quantum machine learning (QML) is a discipline that seeks to transfer the advantages of quantum computing to data-driven tasks. However, many studies rely on toy datasets or heavy feature reduction, raising concerns about their scalability.…

量子物理 · 物理学 2025-04-16 Federico Tiblias , Anna Schroeder , Yue Zhang , Mariami Gachechiladze , Iryna Gurevych

The field of Quantum Machine Learning (QML) has emerged recently in the hopes of finding new machine learning protocols or exponential speedups for classical ones. Apart from problems with vanishing gradients and efficient encoding methods,…

机器学习 · 计算机科学 2023-10-17 Hannah Helgesen , Michael Felsberg , Jan-Åke Larsson

he cvc5 solver is today one of the strongest systems for solving first order problems with theories but also without them. In this work we equip its enumeration-based instantiation with a neural network that guides the choice of the…

计算机科学中的逻辑 · 计算机科学 2025-01-17 Jelle Piepenbrock , Mikoláš Janota , Jan Jakubův

The rapid progress in quantum computing (QC) and machine learning (ML) has attracted growing attention, prompting extensive research into quantum machine learning (QML) algorithms to solve diverse and complex problems. Designing…

量子物理 · 物理学 2025-01-13 Samuel Yen-Chi Chen , Huan-Hsin Tseng , Hsin-Yi Lin , Shinjae Yoo

Quantum machine learning (QML) is an emerging field that promises advantages such as faster training, improved reliability and superior feature extraction over classical counterparts. However, its implementation on quantum hardware is…

量子物理 · 物理学 2026-01-19 Eromanga Adermann , Hajime Suzuki , Muhammad Usman

Security for machine learning has begun to become a serious issue for present day applications. An important question remaining is whether emerging quantum technologies will help or hinder the security of machine learning. Here we discuss a…

量子物理 · 物理学 2017-11-20 Nathan Wiebe , Ram Shankar Siva Kumar

Quantum computers may outperform classical computers on machine learning tasks. In recent years, a variety of quantum algorithms promising unparalleled potential to enhance, speed up, or innovate machine learning have been proposed. Yet,…

Quantum machine learning (QML) is a promising early use case for quantum computing. There has been progress in the last five years from theoretical studies and numerical simulations to proof of concepts. Use cases demonstrated on…

量子物理 · 物理学 2024-04-30 Daniel Goldsmith , M M Hassan Mahmud

Machine learning and quantum computing are two technologies each with the potential for altering how computation is performed to address previously untenable problems. Kernel methods for machine learning are ubiquitous for pattern…

Machine learning (ML) is a promising approach for performing challenging quantum-information tasks such as device characterization, calibration and control. ML models can train directly on the data produced by a quantum device while…

Quantum machine learning aims to release the prowess of quantum computing to improve machine learning methods. By combining quantum computing methods with classical neural network techniques we aim to foster an increase of performance in…

高能物理 - 唯象学 · 物理学 2021-03-17 Andrew Blance , Michael Spannowsky

Continual Learning (CL) enables machine learning models to learn from continuously shifting new training data in absence of data from old tasks. Recently, pretrained vision transformers combined with prompt tuning have shown promise for…

计算机视觉与模式识别 · 计算机科学 2024-04-01 Anurag Roy , Riddhiman Moulick , Vinay K. Verma , Saptarshi Ghosh , Abir Das

Quantum machine learning (QML) is a computational paradigm that seeks to apply quantum-mechanical resources to solve learning problems. As such, the goal of this framework is to leverage quantum processors to tackle optimization,…

量子物理 · 物理学 2025-11-21 Su Yeon Chang , M. Cerezo

Quantum machine learning (QML) leverages the potential from machine learning to explore the subtle patterns in huge datasets of complex nature with quantum advantages. This exponentially reduces the time and resources necessary for…

材料科学 · 物理学 2024-05-30 Kurudi V Vedavyasa , Ashok Kumar

The recent physical realisation of quantum computers with dozens to hundreds of noisy qubits has given birth to an intense search for useful applications of their unique capabilities. One area that has received particular attention is…

量子物理 · 物理学 2023-09-15 Maxwell T. West , Martin Sevior , Muhammad Usman

The rapid advancements in quantum computing (QC) and machine learning (ML) have sparked significant interest, driving extensive exploration of quantum machine learning (QML) algorithms to address a wide range of complex challenges. The…

量子物理 · 物理学 2025-05-27 Samuel Yen-Chi Chen , Huan-Hsin Tseng , Hsin-Yi Lin , Shinjae Yoo

Dementia is the fifth cause of death worldwide with 10 million new cases every year. Healthcare applications using machine learning techniques have almost reached the physical limits while more data is becoming available resulting from the…

Machine-learning (ML) ans\"atze have greatly expanded the accuracy and reach of variational quantum Monte Carlo (QMC) calculations, in particular when exploring the manifold quantum phenomena exhibited by spin systems. However, the…

量子物理 · 物理学 2025-11-24 Manuel Gallego , Sebastián Roca-Jerat , David Zueco , Jesús Carrete
‹ 上一页 1 2 3 10 下一页 ›