English
Related papers

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

200 papers

Variational Quantum Circuits (VQCs), or the so-called quantum neural-networks, are predicted to be one of the most important near-term quantum applications, not only because of their similar promises as classical neural-networks, but also…

Programming Languages · Computer Science 2020-04-03 Shaopeng Zhu , Shih-Han Hung , Shouvanik Chakrabarti , Xiaodi Wu

Zero-knowledge succinct non-interactive argument of knowledge (zkSNARK) allows a party, known as the prover, to convince another party, known as the verifier, that he knows a private value $v$, without revealing it, such that $F(u,v)=y$ for…

Cryptography and Security · Computer Science 2021-03-03 Ali Rahimi , Mohammad Ali Maddah-Ali

To solve difficult tasks, humans ask questions to acquire knowledge from external sources. In contrast, classical reinforcement learning agents lack such an ability and often resort to exploratory behavior. This is exacerbated as few…

Artificial Intelligence · Computer Science 2022-07-05 Iou-Jen Liu , Xingdi Yuan , Marc-Alexandre Côté , Pierre-Yves Oudeyer , Alexander G. Schwing

Visual question answering (VQA) has been gaining a lot of traction in the machine learning community in the recent years due to the challenges posed in understanding information coming from multiple modalities (i.e., images, language). In…

Computer Vision and Pattern Recognition · Computer Science 2021-11-11 Muralikrishnna G. Sethuraman , Ali Payani , Faramarz Fekri , J. Clayton Kerce

This study explores the realm of knowledge base question answering (KBQA). KBQA is considered a challenging task, particularly in parsing intricate questions into executable logical forms. Traditional semantic parsing (SP)-based methods…

Computation and Language · Computer Science 2025-03-13 Guanming Xiong , Junwei Bao , Wen Zhao

Error-correcting codes were invented to correct errors on noisy communication channels. Quantum error correction (QEC), however, may have a wider range of uses, including information transmission, quantum simulation/computation, and…

Quantum Physics · Physics 2022-08-05 Ningping Cao , Junan Lin , David Kribs , Yiu-Tung Poon , Bei Zeng , Raymond Laflamme

This survey provides a comprehensive examination of verifiable computing, tracing its evolution from foundational complexity theory to modern zero-knowledge succinct non-interactive arguments of knowledge (ZK-SNARKs). We explore key…

Logic in Computer Science · Computer Science 2025-01-13 Angold Wang

The complexity class Quantum Statistical Zero-Knowledge ($\mathsf{QSZK}$), introduced by Watrous (FOCS 2002) and later refined in Watrous (SICOMP, 2009), has the best known upper bound $\mathsf{QIP(2)} \cap \text{co-}\mathsf{QIP(2)}$, which…

Quantum Physics · Physics 2025-12-15 François Le Gall , Yupan Liu , Qisheng Wang

Pre-trained language models (PLMs) leverage chains-of-thought (CoT) to simulate human reasoning and inference processes, achieving proficient performance in multi-hop QA. However, a gap persists between PLMs' reasoning abilities and those…

Computation and Language · Computer Science 2024-10-17 Guangming Huang , Yunfei Long , Cunjin Luo , Jiaxing Shen , Xia Sun

Quantum Machine Learning (QML) represents a promising frontier at the intersection of quantum computing and artificial intelligence, aiming to leverage quantum computational advantages to enhance data-driven tasks. This review explores the…

Machine Learning · Computer Science 2025-07-14 Samarth Kashyap , Rohit K Ramakrishnan , Kumari Jyoti , Apoorva D Patel

Information-seeking questions in long-form question answering (LFQA) often prove misleading due to ambiguity or false presupposition in the question. While many existing approaches handle misleading questions, they are tailored to limited…

Computation and Language · Computer Science 2023-11-15 Wookje Han , Jinsol Park , Kyungjae Lee

Previous solutions to knowledge-based visual question answering~(K-VQA) retrieve knowledge from external knowledge bases and use supervised learning to train the K-VQA model. Recently pre-trained LLMs have been used as both a knowledge…

Computation and Language · Computer Science 2024-02-07 Rui Cao , Jing Jiang

Automatic evaluation methods for large language models (LLMs) are hindered by data contamination, leading to inflated assessments of their effectiveness. Existing strategies, which aim to detect contaminated texts, focus on quantifying…

Computation and Language · Computer Science 2024-06-04 Zhuohao Yu , Chang Gao , Wenjin Yao , Yidong Wang , Wei Ye , Jindong Wang , Xing Xie , Yue Zhang , Shikun Zhang

Currently, there is no systematic way to describe a quantum process with memory solely in terms of experimentally accessible quantities. However, recent technological advances mean we have control over systems at scales where memory effects…

Classical machine learning has succeeded in the prediction of both classical and quantum phases of matter. Notably, kernel methods stand out for their ability to provide interpretable results, relating the learning process with the physical…

Quantum Physics · Physics 2022-05-05 Teresa Sancho-Lorente , Juan Román-Roche , David Zueco

Zero-knowledge proofs (ZKPs) are increasingly deployed in domains such as privacy-preserving authentication, verifiable computation, and secure finance. However, authoring ZK programs remains challenging: unlike conventional software…

Software Engineering · Computer Science 2026-02-03 Zhantong Xue , Pingchuan Ma , Zhaoyu Wang , Yuguang Zhou , Xiaoqin Zhang , Shuai Wang , Juergen Rahmel

We show that any quantum algorithm to decide whether a function f:[n]->[n] is a permutation or far from a permutation must make Omega(n^{1/3}/w) queries to f, even if the algorithm is given a w-qubit quantum witness in support of f being a…

Quantum Physics · Physics 2011-01-04 Scott Aaronson

In active learning, membership queries (MQs) allow a learner to pose questions to a teacher, such as ''Is every apple a fruit?'', to which the teacher responds correctly with yes or no. These MQs can be viewed as subsumption tests with…

Artificial Intelligence · Computer Science 2026-04-21 Haoruo Zhao , Wenshuo Tang , Duncan Guthrie , Michele Sevegnani , David Flynn , Paul Harvey

Prompt tuning has become a popular strategy for adapting Vision-Language Models (VLMs) to zero/few-shot visual recognition tasks. Some prompting techniques introduce prior knowledge due to its richness, but when learnable tokens are…

Computer Vision and Pattern Recognition · Computer Science 2025-04-01 Shuchang Zhou , Jiwei Wei , Shiyuan He , Yuyang Zhou , Chaoning Zhang , Jie Zou , Ning Xie , Yang Yang

Reasoning-oriented Large Language Models (LLMs) have achieved remarkable progress with Chain-of-Thought (CoT) prompting, yet they remain fundamentally limited by a \emph{blind self-thinking} paradigm: performing extensive internal reasoning…

Computation and Language · Computer Science 2026-05-29 Xin Chen , Feng Jiang , Yiqian Zhang , Hardy Chen , Shuo Yan , Wenya Xie , Min Yang , Shujian Huang
‹ Prev 1 8 9 10 Next ›