13 papers · ranked by Valyu relevance
Mark Webster, Benjamin J. Brown, Stephen D. Bartlett
> We propose an extension to the Pauli stabiliser formalism that includes fractional 2π/N rotations around the Z axis for some integer N. The resulting generalised stabiliser formalism – denoted the XP stabiliser formalism – allows for a wider range of states and codespaces to be represented. We describe the states…
Zahra Raissi
There is a connection between classical codes, highly entangled pure states (called k-uniform or absolutely maximally entangled (AME) states), and quantum error correcting codes (QECCs). This leads to a systematic method to construct stabilizer QECCs by starting from a k-uniform state or the corresponding classical…
Margarita Davydova, Andreas Bauer, Julio C. Magdalena de la Fuente, Mark Webster + 2 more
'Mark Webster' 'Dominic J. Williamson' 'Benjamin J. Brown'] We show how to perform scalable fault-tolerant non-Clifford gates in two dimensions by introducing domain walls between the surface code and a non-Abelian topological code whose codespace is stabilized by Clifford operators. We formulate a path integral…
Adam D. Bookatz, Edward Farhi, Leo Zhou
We consider the use of quantum error detecting codes, together with energy penalties against leaving the codespace, as a method for suppressing environmentally induced errors in Hamiltonian based quantum computation. This method was introduced in [1] in the context of quantum adiabatic computation, but we consider it…
Clément Poirson, Anthony Leverrier, Christophe Vuillot
Tiger codes form a family of multimode bosonic quantum codes that unify several previously known constructions, including cat, paircat, and the two-mode binomial code. In this work, we give a rigorous algebraic treatment of these codes. Starting from a kernel definition of the codespace, we prove that the…
Hao Wang, Jia Zhang, Yingce Xia, Jiang Bian + 2 more
'Tie‐Yan Liu'] Abstract—Semantic code search, which aims to retrieve code snippets relevant to a given natural language query, has attracted many research efforts with the purpose of accelerating software development. The huge amount of online publicly available code repositories has prompted the employment of deep…
Hebi Li, Forrest Sheng Bao, Qi Xiao, Jin Tian
Jupyter is a browser-based interactive development environment that has been popular recently. Jupyter models programs in code blocks, and makes it easy to develop code blocks interactively by running the code blocks and attaching rich media output. However, Jupyter provides no support for module systems and…
Ruibo Shi, Lili Tao, Rohan Saphal, Fran Silavong + 1 more
We present CV4Code, a compact and effective computer vision method for sourcecode understanding. Our method leverages the contextual and the structural information available from the code snippet by treating each snippet as a two-dimensional image, which naturally encodes the context and retains the underlying…
Chen Wu, Ming Yan
Semantic code search is the task of retrieving relevant code snippet given a natural language query. Different from typical information retrieval tasks, code search requires to bridge the semantic gap between the programming language and natural language, for better describing intrinsic concepts and semantics.…
Daoguang Zan, Ailun Yu, Wei Liu, Dong Chen + 10 more
'Yafen Yao' 'Yongshun Gong' 'Xiaolin Chen' 'Bei Guan' 'Zhiguang Yang' 'Yongji Wang' 'Qianxiang Wang' 'Lizhen Cui'] Abstract—The impressive performance of large language models (LLMs) on code-related tasks has shown the potential of fully automated software development. In light of this, we introduce a new software…
Jing Gong, Yanghui Wu, Linxi Liang, Zibin Zheng + 1 more
Semantic code search, retrieving code that matches a given natural language query, is an important task to improve productivity in software engineering. Existing code search datasets are problematic: either using unrealistic queries, or with mismatched codes, and typically using one-to-one query-code pairing, which…
Junjie Huang, Duyu Tang, Linjun Shou, Ming Gong + 4 more
'Daxin Jiang' 'Ming Zhou' 'Nan Duan'] Finding codes given natural language query is beneficial to the productivity of software developers. Future progress towards better semantic matching between query and code requires richer supervised training resources. To remedy this, we introduce the CoSQA dataset. It includes…
Syed Arbaaz Qureshi, Sonu Mehta, Ranjita Bhagwan, Rahul Kumar
—In recent times, it has been shown that one can use code as data to aid various applications such as automatic commit message generation, automatic generation of pull request descriptions and automatic program repair. Take for instance the problem of commit message generation. Treating source code as a sequence of…