English
Related papers

Related papers: DepQBF 6.0: A Search-Based QBF Solver Beyond Tradi…

200 papers

Demonstrating quantum advantage using conventional quantum algorithms remains challenging on current noisy gate-based quantum computers. Automated quantum circuit synthesis via quantum machine learning has emerged as a promising solution,…

Quantum Physics · Physics 2025-04-14 Shubing Xie , Aritra Sarkar , Sebastian Feld

We introduce the Korean Canonical Legal Benchmark (KCL), a benchmark designed to assess language models' legal reasoning capabilities independently of domain-specific knowledge. KCL provides question-level supporting precedents, enabling a…

Computation and Language · Computer Science 2026-01-06 Hongseok Oh , Wonseok Hwang , Kyoung-Woon On

Quantum machine learning (QML) is rapidly transitioning from theoretical promise to practical relevance across data-intensive scientific domains. In this Review, we provide a structured overview of recent advances that bridge foundational…

Quantum Physics · Physics 2026-02-25 Vinit Singh , Amandeep Singh Bhatia , Mandeep Kaur Saggi , Manas Sajjan , Sabre Kais

Quantum Federated Learning (QFL) is an emerging concept that aims to unfold federated learning (FL) over quantum networks, enabling collaborative quantum model training along with local data privacy. We explore the challenges of deploying…

Machine Learning · Computer Science 2024-05-03 Shiva Raj Pokhrel , Naman Yash , Jonathan Kua , Gang Li , Lei Pan

Federated learning (FL), aimed at leveraging vast distributed datasets, confronts a crucial challenge: the heterogeneity of data across different silos. While previous studies have explored discrete representations to enhance model…

Machine Learning · Computer Science 2025-06-06 Tianyi Zhang , Yu Cao , Dianbo Liu

Quantum Federated Learning (QFL) is an emerging paradigm that combines quantum computing and federated learning (FL) to enable decentralized model training while maintaining data privacy over quantum networks. However, quantum noise remains…

Quantum Physics · Physics 2025-07-18 Ratun Rahman , Atit Pokharel , Dinh C. Nguyen

Expert systems often operate in domains characterized by class-imbalanced tabular data, where detecting rare but critical instances is essential for safety and reliability. While conventional approaches, such as cost-sensitive learning,…

Machine Learning · Computer Science 2025-06-23 Md Abrar Jahin , Adiba Abid , M. F. Mridha

The quantum machine learning (QML) paradigms and their synergies with network slicing can be envisioned to be a disruptive technology on the cusp of entering to era of sixth-generation (6G), where the mobile communication systems are…

Networking and Internet Architecture · Computer Science 2022-12-23 Farhad Rezazadeh , Sarang Kahvazadeh , Mohammadreza Mosahebfard

Quantum computational fluid dynamics (QCFD) offers a promising alternative to classical computational fluid dynamics (CFD) by leveraging quantum algorithms for higher efficiency. This paper introduces a comprehensive QCFD method, including…

High performance, reliability and safety are crucial properties of any Software-Defined-Networking (SDN) system. Although the use of Deep Reinforcement Learning (DRL) algorithms has been widely studied to improve performance, their…

Networking and Internet Architecture · Computer Science 2024-10-23 Lam Dinh , Pham Tran Anh Quang , Jérémie Leguay

We present a novel variational quantum framework for nonlinear partial differential equation (PDE) constrained optimization problems. The proposed work extends the recently introduced bi-level variational quantum PDE constrained…

Quantum Physics · Physics 2024-10-18 Abeynaya Gnanasekaran , Amit Surana , Hongyu Zhu

The feasibility of variational quantum algorithms, the most popular correspondent of neural networks on noisy, near-term quantum hardware, is highly impacted by the circuit depth of the involved parametrized quantum circuits (PQCs). Higher…

Machine Learning · Computer Science 2024-11-01 Philipp Schleich , Marta Skreta , Lasse B. Kristensen , Rodrigo A. Vargas-Hernández , Alán Aspuru-Guzik

Quantitative chemistry is central to modern chemical research, yet the ability of large language models (LLMs) to perform its rigorous, step-by-step calculations remains underexplored. To fill this blank, we propose QCBench, a Quantitative…

Artificial Intelligence · Computer Science 2025-11-05 Jiaqing Xie , Weida Wang , Ben Gao , Zhuo Yang , Haiyuan Wan , Shufei Zhang , Tianfan Fu , Yuqiang Li

Quantified Boolean Formulas (QBF) extend propositional logic with quantification $\forall, \exists$. In QBF, an existentially quantified variable is allowed to depend on all universally quantified variables in its scope. Dependency…

Logic in Computer Science · Computer Science 2023-01-26 Priyanka Golia , Subhajit Roy , Kuldeep S. Meel

This paper proposes a general decentralized framework for quantum kernel learning (QKL). It has robustness against quantum noise and can also be designed to defend adversarial information attacks forming a robust approach named RDQKL. We…

Quantum Physics · Physics 2025-04-21 Wenxuan Ma , Kuan-Cheng Chen , Shang Yu , Mengxiang Liu , Ruilong Deng

Query-driven recommendation with unknown items poses a challenge for users to understand why certain items are appropriate for their needs. Query-driven Contrastive Summarization (QCS) is a methodology designed to address this issue by…

Computation and Language · Computer Science 2025-06-04 George-Kirollos Saad , Scott Sanner

We propose ImitSAT, a branching policy for conflict-driven clause learning (CDCL) solvers based on imitation learning for the Boolean satisfiability problem (SAT). Unlike previous methods that predict instance-level signals to improve CDCL…

Artificial Intelligence · Computer Science 2026-02-24 Zewei Zhang , Huan Liu , Yuanhao Yu , Jun Chen , Xiangyu Xu

QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as MSO). Several…

Logic in Computer Science · Computer Science 2019-06-25 Akash Hossain , Francois Laroussinie

Computational models typically assume that operations are applied in a fixed sequential order. In recent years several works have looked at relaxing this assumption, considering computations without any fixed causal structure and showing…

Quantum Physics · Physics 2025-08-21 Alastair A. Abbott , Mehdi Mhalla , Pierre Pocreau

Quantum federated learning (QFL) is an emerging field that has the potential to revolutionize computation by taking advantage of quantum physics concepts in a distributed machine learning (ML) environment. However, the majority of available…

Quantum Physics · Physics 2025-11-14 Ratun Rahman , Atit Pokharel , Md Raihan Uddin , Dinh C. Nguyen