BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Peng Qian

Peng Qian appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Computation and Languagegr-qcquant-phArtificial IntelligenceCryptography and Securityhep-thProgramming Languagesastro-ph.COcond-mat.mes-hallhep-phMachine LearningNeural and Evolutionary ComputingSoftware Engineering

Catalog footprint

What is connected

13works
13topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2023arXiv

Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting

Blockchain smart contracts have given rise to a variety of interesting and compelling applications and emerged as a revolutionary force for the Internet. Quite a few practitioners have devoted themselves to developing tools for detecting bugs in smart contracts. One line of efforts revolve around static analysis techniques, which heavily suffer from high false-positive rates. Another line of works concentrate on fuzzing techniques. Unfortunately, current fuzzing approaches for smart contracts tend to conduct fuzzing starting from the initial state of the contract, which expends too much energy revolving around the initial state and thus is usually unable to unearth bugs triggered by other states. Moreover, most existing methods treat each branch equally, failing to take care of the branches that are rare or more likely to possess bugs. This might lead to resources wasted on normal branches. In this paper, we try to tackle these challenges from three aspects: (1) In generating function invocation sequences, we explicitly consider data dependencies between functions to facilitate exploring richer states. We further prolong a function invocation sequence S1 by appending a new sequence S2, so that S2 can start fuzzing from states that are different from the initial state. (2) We incorporate a branch distance-based measure to evolve test cases iteratively towards a target branch. (3) We engage a branch search algorithm to discover rare and vulnerable branches, and design an energy allocation mechanism to take care of exercising these crucial branches. We implement IR-Fuzz and extensively evaluate it over 12K real-world contracts. Empirical results show that: (i) IR-Fuzz achieves 28% higher branch coverage than state-of-the-art fuzzing approaches, and (ii) IR-Fuzz detects more vulnerabilities and increases the average accuracy of vulnerability detection by 7% over current methods.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Fast Quantum Calibration using Bayesian Optimization with State Parameter Estimator for Non-Markovian Environment

As quantum systems expand in size and complexity, manual qubit characterization and gate optimization will be a non-scalable and time-consuming venture. Physical qubits have to be carefully calibrated because quantum processors are very sensitive to the external environment, with control hardware parameters slowly drifting during operation, affecting gate fidelity. Currently, existing calibration techniques require complex and lengthy measurements to independently control the different parameters of each gate and are unscalable to large quantum systems. Therefore, fully automated protocols with the desired functionalities are required to speed up the calibration process. This paper aims to propose single-qubit calibration of superconducting qubits under continuous weak measurements from a real physical experimental settings point of view. We propose a real-time optimal estimator of qubit states, which utilizes weak measurements and Bayesian optimization to find the optimal control pulses for gate design. Our numerical results demonstrate a significant reduction in the calibration process, obtaining a high gate fidelity. Using the proposed estimator we estimated the qubit state with and without measurement noise and the estimation error between the qubit state and the estimator state is less than 0.02. With this setup, we drive an approximated pi pulse with final fidelity of 0.9928. This shows that our proposed strategy is robust against the presence of measurement and environmental noise and can also be applicable for the calibration of many other quantum computation technologies.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Smart Contract Vulnerability Detection Technique: A Survey

Smart contract, one of the most successful applications of blockchain, is taking the world by storm, playing an essential role in the blockchain ecosystem. However, frequent smart contract security incidents not only result in tremendous economic losses but also destroy the blockchain-based credit system. The security and reliability of smart contracts thus gain extensive attention from researchers worldwide. In this survey, we first summarize the common types and typical cases of smart contract vulnerabilities from three levels, i.e., Solidity code layer, EVM execution layer, and Block dependency layer. Further, we review the research progress of smart contract vulnerability detection and classify existing counterparts into five categories, i.e., formal verification, symbolic execution, fuzzing detection, intermediate representation, and deep learning. Empirically, we take 300 real-world smart contracts deployed on Ethereum as the test samples and compare the representative methods in terms of accuracy, F1-Score, and average detection time. Finally, we discuss the challenges in the field of smart contract vulnerability detection and combine with the deep learning technology to look forward to future research directions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

When Does Syntax Mediate Neural Language Model Performance? Evidence from Dropout Probes

Recent causal probing literature reveals when language models and syntactic probes use similar representations. Such techniques may yield "false negative" causality results: models may use representations of syntax, but probes may have learned to use redundant encodings of the same syntactic information. We demonstrate that models do encode syntactic information redundantly and introduce a new probe design that guides probes to consider all syntactic information present in embeddings. Using these probes, we find evidence for the use of syntax in models where prior methods did not, allowing us to boost model performance by injecting syntactic information into representations.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Calibration-Free Vector Magnetometry Using Nitrogen-Vacancy Center in Diamond Integrated with Optical Vortex Beam

We report a new method to determine the orientation of individual nitrogen-vacancy (NV) centers in a bulk diamond and use them to realize a calibration-free vector magnetometer with nanoscale resolution. Optical vortex beam is used for optical excitation and scanning the NV center in a [111]-oriented diamond. The scanning fluorescence patterns of NV center with different orientations are completely different. Thus, the orientation information on each NV center in the lattice can be known directly without any calibration process. Further, we use three differently oriented NV centers to form a magnetometer and reconstruct the complete vector information on the magnetic field based on the optically detected magnetic resonance(ODMR) technique. Compared with previous schemes to realize vector magnetometry using an NV center, our method is much more efficient and is easily applied in other NV-based quantum sensing applications.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A Systematic Assessment of Syntactic Generalization in Neural Language Models

While state-of-the-art neural network models continue to achieve lower perplexity scores on language modeling benchmarks, it remains unknown whether optimizing for broad-coverage predictive performance leads to human-like syntactic knowledge. Furthermore, existing work has not provided a clear picture about the model properties required to produce proper syntactic generalizations. We present a systematic evaluation of the syntactic knowledge of neural language models, testing 20 combinations of model types and data sizes on a set of 34 English-language syntactic test suites. We find substantial differences in syntactic generalization performance by model architecture, with sequential models underperforming other architectures. Factorially manipulating model architecture and training dataset size (1M--40M words), we find that variability in syntactic generalization performance is substantially greater by architecture than by dataset size for the corpora tested in our experiments. Our results also reveal a dissociation between perplexity and syntactic generalization performance.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Detecting dynamical quantum phase transition via out-of-time-order correlations in a solid-state quantum simulator

Quantum many body system in equilibrium can be effectively characterized using the framework of quantum statistical mechanics. However, nonequilibrium behaviour of quantum many body systems remains elusive, out of the range of such a well established framework. Experiments in quantum simulators are now opening up a route towards the generation of quantum states beyond this equilibrium paradigm. As an example in closed quantum many body systems, dynamical quantum phase transitions behave as phase transitions in time with physical quantities becoming nonanalytic at critical times, extending important principles such as universality to the nonequilibrium realm. Here, in solid state quantum simulator we develop and experimentally demonstrate that out-of-time-order correlators, a central concept to quantify quantum information scrambling and quantum chaos, can be used to dynamically detect nonoequilibrium phase transitions in the transverse field Ising model. We also study the multiple quantum spectra, eventually observe the buildup of quantum correlation. Further applications of this protocol could enable studies other of exotic phenomena such as many body localization, and tests of the holographic duality between quantum and gravitational systems.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On the Predictive Power of Neural Language Models for Human Real-Time Comprehension Behavior

Human reading behavior is tuned to the statistics of natural language: the time it takes human subjects to read a word can be predicted from estimates of the word's probability in context. However, it remains an open question what computational architecture best characterizes the expectations deployed in real time by humans that determine the behavioral signatures of reading. Here we test over two dozen models, independently manipulating computational architecture and training dataset size, on how well their next-word expectations predict human reading time behavior on naturalistic text corpora. We find that across model architectures and training dataset sizes the relationship between word log-probability and reading time is (near-)linear. We next evaluate how features of these models determine their psychometric predictive power, or ability to predict human reading behavior. In general, the better a model's next-word expectations, the better its psychometric predictive power. However, we find nontrivial differences across model architectures. For any given perplexity, deep Transformer models and n-gram models generally show superior psychometric predictive power over LSTM or structurally supervised neural models, especially for eye movement data. Finally, we compare models' psychometric predictive power to the depth of their syntactic knowledge, as measured by a battery of syntactic generalization tests developed using methods from controlled psycholinguistic experiments. Once perplexity is controlled for, we find no significant relationship between syntactic knowledge and predictive power. These results suggest that different approaches may be required to best model human real-time language comprehension behavior in naturalistic reading versus behavior for controlled linguistic materials designed for targeted probing of syntactic knowledge.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Bridging LSTM Architecture and the Neural Dynamics during Reading

Recently, the long short-term memory neural network (LSTM) has attracted wide interest due to its success in many tasks. LSTM architecture consists of a memory cell and three gates, which looks similar to the neuronal networks in the brain. However, there still lacks the evidence of the cognitive plausibility of LSTM architecture as well as its working mechanism. In this paper, we study the cognitive plausibility of LSTM by aligning its internal architecture with the brain activity observed via fMRI when the subjects read a story. Experiment results show that the artificial memory vector in LSTM can accurately predict the observed sequential brain activities, indicating the correlation between LSTM architecture and the cognitive process of story reading.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Magnetogenesis in bouncing cosmology

We consider the process of magnetogenesis in the context of nonsingular bounce cosmology. We show that large primordial magnetic fields can be generated during contraction without encountering strong coupling and backreaction issues. The fields may seed large-scale magnetic fields with observationally interesting strengths. This result leads to a theoretical constraint on the relation of the energy scale of the bounce cosmology to the number of effective e-folding of the contracting phase in the case of scale invariance for the power spectrum of primordial magnetic fields. We show that this constraint can be satisfied in a sizable region of the parameter space for the nonsingular bounce cosmology.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Overview of the NLPCC 2015 Shared Task: Chinese Word Segmentation and POS Tagging for Micro-blog Texts

In this paper, we give an overview for the shared task at the 4th CCF Conference on Natural Language Processing \& Chinese Computing (NLPCC 2015): Chinese word segmentation and part-of-speech (POS) tagging for micro-blog texts. Different with the popular used newswire datasets, the dataset of this shared task consists of the relatively informal micro-texts. The shared task has two sub-tasks: (1) individual Chinese word segmentation and (2) joint Chinese word segmentation and POS Tagging. Each subtask has three tracks to distinguish the systems with different resources. We first introduce the dataset and task, then we characterize the different approaches of the participating systems, report the test results, and provide a overview analysis of these results. An online system is available for open registration and evaluation at http://nlp.fudan.edu.cn/nlpcc2015.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Lifshitz Scaling Effects on Holographic Superconductors

Via numerical and analytical methods, the effects of the Lifshitz dynamical exponent $z$ on holographic superconductors are studied in some detail, including $s$ wave and $p$ wave models. Working in the probe limit, we find that the behaviors of holographic models indeed depend on concrete value of $z$. We obtain the condensation and conductivity in both Lifshitz black hole and soliton backgrounds with general $z$. For both $s$ wave and $p$ wave models in the black hole backgrounds, as $z$ increases, the phase transition becomes more difficult and the growth of conductivity is suppressed. For the Lifshitz soliton backgrounds, when $z$ increases ($z=1,~2,~3$), the critical chemical potential decreases in the $s$ wave cases but increases in the $p$ wave cases. For $p$ wave models in both Lifshitz black hole and soliton backgrounds, the anisotropy between the AC conductivity in different spatial directions is suppressed when $z$ increases. The analytical results uphold the numerical results.

0 citations0 reviewsNo code linkedOpen access