English
Related papers

Related papers: Extending QuAK with Nested Quantitative Automata

200 papers

Neural abstractive summarization models are prone to generate content inconsistent with the source document, i.e. unfaithful. Existing automatic metrics do not capture such mistakes effectively. We tackle the problem of evaluating…

Computation and Language · Computer Science 2020-10-13 Esin Durmus , He He , Mona Diab

We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). We show that this class enjoys good complexity properties while preserving the succinctness of nondeterministic…

Formal Languages and Automata Theory · Computer Science 2015-09-23 Florent Avellaneda , Silvano Dal Zilio , Jean-Baptiste Raclet

We propose Quantum Enhanced Simulated Annealing (QESA), a novel hybrid optimization framework that integrates quantum annealing (QA) into simulated annealing (SA) to tackle continuous optimization problems. While QA has shown promise in…

Quantum Physics · Physics 2025-04-04 Hristo N. Djidjev

Question Answering (QA) is not a new research field in Natural Language Processing (NLP). However in recent years, QA has been a subject of growing study. Nowadays, most of the QA systems have a similar pipelined architecture and each…

Information Retrieval · Computer Science 2012-05-09 Ricardo Pires

In this paper, we introduce classically time-controlled quantum automata or CTQA, which is a reasonable modification of Moore-Crutchfield quantum finite automata that uses time-dependent evolution and a "scheduler" defining how long each…

Formal Languages and Automata Theory · Computer Science 2025-09-25 Alejandro Díaz-Caro , Marcos Villagra

In recent years, quantum computing has gained a substantial amount of momentum, and the capabilities of quantum devices are continually expanding and improving. Nevertheless, writing a quantum program from scratch remains tedious and…

Programming Languages · Computer Science 2026-04-07 Georg Moser , Michael Schaper

Model quantization is a widely used technique to compress and accelerate deep neural network (DNN) inference. Emergent DNN hardware accelerators begin to support mixed precision (1-8 bits) to further improve the computation efficiency,…

Computer Vision and Pattern Recognition · Computer Science 2019-04-09 Kuan Wang , Zhijian Liu , Yujun Lin , Ji Lin , Song Han

We prove that two-way probabilistic and quantum finite automata (2PFA's and 2QFA's) can be considerably more concise than both their one-way versions (1PFA's and 1QFA's), and two-way nondeterministic finite automata (2NFA's). For this…

Computational Complexity · Computer Science 2014-01-29 Abuzer Yakaryilmaz , A. C. Cem Say

Existing literature on Question Answering (QA) mostly focuses on algorithmic novelty, data augmentation, or increasingly large pre-trained language models like XLNet and RoBERTa. Additionally, a lot of systems on the QA leaderboards do not…

Computation and Language · Computer Science 2019-09-13 Lin Pan , Rishav Chakravarti , Anthony Ferritto , Michael Glass , Alfio Gliozzo , Salim Roukos , Radu Florian , Avirup Sil

We present QUANTAS: a simulator that enables quantitative performance analysis of distributed algorithms. It has a number of attractive features. QUANTAS is an abstract simulator, therefore, the obtained results are not affected by the…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-18 Joseph Oglio , Kendric Hood , Mikhail Nesterenko , Sebastien Tixeuil

Extractive question answering (QA) systems can enable physicians and researchers to query medical records, a foundational capability for designing clinical studies and understanding patient medical history. However, building these systems…

Computation and Language · Computer Science 2023-12-07 Joel Stremmel , Ardavan Saeedi , Hamid Hassanzadeh , Sanjit Batra , Jeffrey Hertzberg , Jaime Murillo , Eran Halperin

Discretizing spacetime is often a natural step towards modelling physical systems. For quantum systems, if we also demand a strict bound on the speed of information propagation, we get quantum cellular automata (QCAs). These originally…

Quantum Physics · Physics 2020-12-02 Terry Farrelly

We continue the systematic investigation of probabilistic and quantum finite automata (PFAs and QFAs) on promise problems by focusing on unary languages. We show that bounded-error QFAs are more powerful than PFAs. But, in contrary to the…

Computational Complexity · Computer Science 2015-03-12 Aida Gainutdinova , Abuzer Yakaryilmaz

Variational quantum algorithm (VQA), which is comprised of a classical optimizer and a parameterized quantum circuit, emerges as one of the most promising approaches for harvesting the power of quantum computers in the noisy intermediate…

Quantum Physics · Physics 2021-12-01 Samuel Stein , Yufei Ding , Nathan Wiebe , Bo Peng , Karol Kowalski , Nathan Baker , James Ang , Ang Li

Quantum Annealing (QA) can efficiently solve combinatorial optimization problems whose objective functions are represented by Quadratic Unconstrained Binary Optimization (QUBO) formulations. For broader applicability of QA, quadratization…

Quantum Physics · Physics 2025-07-29 Hyakka Nakada , Shu Tanaka

Quantum computation based on quantum cellular automata (QCA) can greatly reduce the control and precision necessary for experimental implementations of quantum information processing. A QCA system consists of a few species of qubits in…

Quantum Physics · Physics 2009-11-10 Yaakov S. Weinstein , C. Stephen Hellberg

Quantum algorithm involves the manipulation of amplitudes and computational basis, of which manipulating basis is largely a quantum analogue of classical computing that is always a major contributor to the complexity. In order to make full…

Question Answering (QA) is a growing area of research, often used to facilitate the extraction of information from within documents. State-of-the-art QA models are usually pre-trained on domain-general corpora like Wikipedia and thus tend…

Computation and Language · Computer Science 2022-12-01 Matthew Maufe , James Ravenscroft , Rob Procter , Maria Liakata

In recent advancements in spoken question answering (QA), end-to-end models have made significant strides. However, previous research has primarily focused on extractive span selection. While this extractive-based approach is effective when…

Computation and Language · Computer Science 2024-10-22 Min-Han Shih , Ho-Lam Chung , Yu-Chi Pai , Ming-Hao Hsu , Guan-Ting Lin , Shang-Wen Li , Hung-yi Lee

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In…

Formal Languages and Automata Theory · Computer Science 2016-06-29 Tomoyuki Yamakami