English
Related papers

Related papers: Non-interactive zero-knowledge arguments for QMA, …

200 papers

We introduce QUICK, a group of novel optimized CUDA kernels for the efficient inference of quantized Large Language Models (LLMs). QUICK addresses the shared memory bank-conflict problem of state-of-the-art mixed precision matrix…

Machine Learning · Computer Science 2024-02-16 Taesu Kim , Jongho Lee , Daehyun Ahn , Sarang Kim , Jiwoong Choi , Minkyu Kim , Hyungjun Kim

Systematic benchmark evaluation plays an important role in the process of improving technologies for Question Answering (QA) systems. While currently there are a number of existing evaluation methods for natural language (NL) QA systems,…

Computation and Language · Computer Science 2018-09-21 Takuto Asakura , Jin-Dong Kim , Yasunori Yamamoto , Yuka Tateisi , Toshihisa Takagi

The rapid growth of research output in control engineering calls for new approaches to structure and formalize domain knowledge. This paper briefly describes an LLM-supported method for semi-automated generation of formal knowledge…

Artificial Intelligence · Computer Science 2025-11-05 Julius Fiedler , Carsten Knoll , Klaus Röbenack

QMA is the class of languages that can be decided by an efficient quantum verifier given a quantum witness, whereas QCMA is the class of such languages where the efficient quantum verifier only is given a classical witness. A challenging…

Quantum Physics · Physics 2024-11-05 Mark Zhandry

In the Noisy Intermediate-Scale Quantum (NISQ) era, using variational quantum algorithms (VQAs) to solve optimization problems has become a key application. However, these algorithms face significant challenges, such as choosing an…

Quantum Physics · Physics 2025-06-13 Junyong Lee , JeiHee Cho , Shiho Kim

We give a new theoretical solution to a leading-edge experimental challenge, namely to the verification of quantum computations in the regime of high computational complexity. Our results are given in the language of quantum interactive…

Quantum Physics · Physics 2018-06-25 Anne Broadbent

Closed-book question answering (QA) requires a model to directly answer an open-domain question without access to any external knowledge. Prior work on closed-book QA either directly finetunes or prompts a pretrained language model (LM) to…

Computation and Language · Computer Science 2023-04-28 Dan Su , Mostofa Patwary , Shrimai Prabhumoye , Peng Xu , Ryan Prenger , Mohammad Shoeybi , Pascale Fung , Anima Anandkumar , Bryan Catanzaro

Image Quality Assessment (IQA) is a long-standing problem in computer vision. Previous methods typically focus on predicting numerical scores without explanation or providing low-level descriptions lacking precise scores. Recent…

Computer Vision and Pattern Recognition · Computer Science 2026-01-16 Guoqiang Liang , Jianyi Wang , Zhonghua Wu , Shangchen Zhou

Answering logical queries on knowledge graphs (KG) poses a significant challenge for machine reasoning. The primary obstacle in this task stems from the inherent incompleteness of KGs. Existing research has predominantly focused on…

Machine Learning · Computer Science 2024-03-20 Zezhong Xu , Peng Ye , Lei Liang , Huajun Chen , Wen Zhang

Visual Question Answering (VQA) requires reasoning across visual and textual modalities, yet Large Vision-Language Models (LVLMs) often lack integrated commonsense knowledge, limiting their robustness in real-world scenarios. To address…

Computation and Language · Computer Science 2025-06-12 Shuo Yang , Siwen Luo , Soyeon Caren Han , Eduard Hovy

In traditional e-voting protocols, privacy is often provided by a trusted authority that learns the votes and computes the tally. Some protocols replace the trusted authority by a set of authorities, and privacy is guaranteed if less than a…

Cryptography and Security · Computer Science 2016-10-21 Gina Gallegos-Garcia , Vincenzo Iovino , Alfredo Rial , Peter B. Roenne , Peter Y. A. Ryan

Distributed certification is a set of mechanisms that allows an all-knowing prover to convince the units of a communication network that the network's state has some desired property, such as being 3-colorable or triangle-free. Classical…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-12 Alex B. Grilo , Ami Paz , Mor Perry

One of the most challenging question types in VQA is when answering the question requires outside knowledge not present in the image. In this work we study open-domain knowledge, the setting when the knowledge required to answer a question…

Computer Vision and Pattern Recognition · Computer Science 2020-12-22 Kenneth Marino , Xinlei Chen , Devi Parikh , Abhinav Gupta , Marcus Rohrbach

Is it possible to comprehensively destroy a piece of quantum information, so that nothing is left behind except the memory of whether one had it at one point? For example, various works, most recently Morimae, Poremba, and Yamakawa (TQC…

Quantum Physics · Physics 2024-11-11 Alper Çakan , Vipul Goyal , Justin Raizes

A major difficulty in quantum rewinding is the fact that measurement is destructive: extracting information from a quantum state irreversibly changes it. This is especially problematic in the context of zero-knowledge simulation, where…

Cryptography and Security · Computer Science 2021-11-25 Alex Lombardi , Fermi Ma , Nicholas Spooner

Quantum machine learning, which involves running machine learning algorithms on quantum devices, has garnered significant attention in both academic and business circles. In this paper, we offer a comprehensive and unbiased review of the…

Quantum Physics · Physics 2024-10-21 Yunfei Wang , Junyu Liu

In recent years, many computational tasks have been proposed as candidates for showing a quantum computational advantage, that is an advantage in the time needed to perform the task using a quantum instead of a classical machine.…

Quantum Physics · Physics 2021-02-12 Federico Centrone , Niraj Kumar , Eleni Diamanti , Iordanis Kerenidis

Complex question-answering (CQA) involves answering complex natural-language questions on a knowledge base (KB). However, the conventional neural program induction (NPI) approach exhibits uneven performance when the questions have different…

Computation and Language · Computer Science 2020-11-02 Yuncheng Hua , Yuan-Fang Li , Gholamreza Haffari , Guilin Qi , Tongtong Wu

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

Over the last twenty years, significant progress has been made in designing and implementing Question Answering (QA) systems. However, addressing complex questions, the answers to which are spread across multiple documents, remains a…

Computation and Language · Computer Science 2026-02-26 Sourav Saha , Dwaipayan Roy , Mandar Mitra
‹ Prev 1 4 5 6 7 8 10 Next ›