arXiv Science⌕ Search

arXiv subjects

Yue Zhang

Publications and source records attributed to Yue Zhang.

At least 361 records · Page 20Linked to original sources

Logical Reasoning in Large Language Models: A Survey

With the emergence of advanced reasoning models like OpenAI o3 and DeepSeek-R1, large language models (LLMs) have demonstrated remarkable reasoning capabilities. However, their ability to perform rigorous logical reasoning remains an open question. This survey synthesizes recent advancements in logical reasoning within LLMs, a critical area of AI research. It outlines the scope of logical reasoning in LLMs, its theoretical foundations, and the benchmarks used to evaluate reasoning proficiency. We analyze existing capabilities across different reasoning paradigms - deductive, inductive, abductive, and analogical - and assess strategies to enhance reasoning performance, including data-centric tuning, reinforcement learning, decoding strategies, and neuro-symbolic approaches. The review concludes with future directions, emphasizing the need for further exploration to strengthen logical reasoning in AI systems.

cs.AI↗

Mind the Gap: Towards Generalizable Autonomous Penetration Testing via Domain Randomization and Meta-Reinforcement Learning

With increasing numbers of vulnerabilities exposed on the internet, autonomous penetration testing (pentesting) has emerged as a promising research area. Reinforcement learning (RL) is a natural fit for studying this topic. However, two key challenges limit the applicability of RL-based autonomous pentesting in real-world scenarios: (a) training environment dilemma -- training agents in simulated environments is sample-efficient while ensuring their realism remains challenging; (b) poor generalization ability -- agents' policies often perform poorly when transferred to unseen scenarios, with even slight changes potentially causing significant generalization gap. To this end, we propose GAP, a generalizable autonomous pentesting framework that aims to realizes efficient policy training in realistic environments and train generalizable agents capable of drawing inferences about other cases from one instance. GAP introduces a Real-to-Sim-to-Real pipeline that (a) enables end-to-end policy learning in unknown real environments while constructing realistic simulations; (b) improves agents' generalization ability by leveraging domain randomization and meta-RL learning.Specially, we are among the first to apply domain randomization in autonomous pentesting and propose a large language model-powered domain randomization method for synthetic environment generation. We further apply meta-RL to improve agents' generalization ability in unseen environments by leveraging synthetic environments. The combination of two methods effectively bridges the generalization gap and improves agents' policy adaptation performance.Experiments are conducted on various vulnerable virtual machines, with results showing that GAP can enable policy learning in various realistic environments, achieve zero-shot policy transfer in similar environments, and realize rapid policy adaptation in dissimilar environments.

cs.LG↗

Defeasible Visual Entailment: Benchmark, Evaluator, and Reward-Driven Optimization

We introduce a new task called Defeasible Visual Entailment (DVE), where the goal is to allow the modification of the entailment relationship between an image premise and a text hypothesis based on an additional update. While this concept is well-established in Natural Language Inference, it remains unexplored in visual entailment. At a high level, DVE enables models to refine their initial interpretations, leading to improved accuracy and reliability in various applications such as detecting misleading information in images, enhancing visual question answering, and refining decision-making processes in autonomous systems. Existing metrics do not adequately capture the change in the entailment relationship brought by updates. To address this, we propose a novel inference-aware evaluator designed to capture changes in entailment strength induced by updates, using pairwise contrastive learning and categorical information learning. Additionally, we introduce a reward-driven update optimization method to further enhance the quality of updates generated by multimodal models. Experimental results demonstrate the effectiveness of our proposed evaluator and optimization method.

cs.CV↗

TORCHLIGHT: Shedding LIGHT on Real-World Attacks on Cloudless IoT Devices Concealed within the Tor Network

The rapidly expanding Internet of Things (IoT) landscape is shifting toward cloudless architectures, removing reliance on centralized cloud services but exposing devices directly to the internet and increasing their vulnerability to cyberattacks. Our research revealed an unexpected pattern of substantial Tor network traffic targeting cloudless IoT devices. suggesting that attackers are using Tor to anonymously exploit undisclosed vulnerabilities (possibly obtained from underground markets). To delve deeper into this phenomenon, we developed TORCHLIGHT, a tool designed to detect both known and unknown threats targeting cloudless IoT devices by analyzing Tor traffic. TORCHLIGHT filters traffic via specific IP patterns, strategically deploys virtual private server (VPS) nodes for cost-effective detection, and uses a chain-of-thought (CoT) process with large language models (LLMs) for accurate threat identification. Our results are significant: for the first time, we have demonstrated that attackers are indeed using Tor to conceal their identities while targeting cloudless IoT devices. Over a period of 12 months, TORCHLIGHT analyzed 26 TB of traffic, revealing 45 vulnerabilities, including 29 zero-day exploits with 25 CVE-IDs assigned (5 CRITICAL, 3 HIGH, 16 MEDIUM, and 1 LOW) and an estimated value of approximately $312,000. These vulnerabilities affect around 12.71 million devices across 148 countries, exposing them to severe risks such as information disclosure, authentication bypass, and arbitrary command execution. The findings have attracted significant attention, sparking widespread discussion in cybersecurity circles, reaching the top 25 on Hacker News, and generating over 190,000 views.

cs.CR↗

Bi-directional Curriculum Learning for Graph Anomaly Detection: Dual Focus on Homogeneity and Heterogeneity

Graph anomaly detection (GAD) aims to identify nodes from a graph that are significantly different from normal patterns. Most previous studies are model-driven, focusing on enhancing the detection effect by improving the model structure. However, these approaches often treat all nodes equally, neglecting the different contributions of various nodes to the training. Therefore, we introduce graph curriculum learning as a simple and effective plug-and-play module to optimize GAD methods. The existing graph curriculum learning mainly focuses on the homogeneity of graphs and treats nodes with high homogeneity as easy nodes. In fact, GAD models can handle not only graph homogeneity but also heterogeneity, which leads to the unsuitability of these existing methods. To address this problem, we propose an innovative Bi-directional Curriculum Learning strategy (BCL), which considers nodes with higher and lower similarity to neighbor nodes as simple nodes in the direction of focusing on homogeneity and focusing on heterogeneity, respectively, and prioritizes their training. Extensive experiments show that BCL can be quickly integrated into existing detection processes and significantly improves the performance of ten GAD anomaly detection models on seven commonly used datasets.

cs.LG↗

Large Anomalous Hall Effect in a Noncoplanar Magnetic Heterostructure

The anomalous Hall effect (AHE) occurs in magnetic systems and also unexpectedly in non-magnetic materials adjacent to magnetic insulators via the heterointerface interactions. However, the AHE in heterostructures induced by magnetic proximity effect remains quite weak, restricting their practical device applications. Here, we report a large intrinsic AHE with a resistivity of 114 nΩ cm at 5 K in noncoplanar magnetic heterostructures of Cr5Te6/Pt. This is the record-high AHE value among all the magnetic insulators/heavy metal heterostructures. A reversal of the AHE signal occurs due to the reconstruction of Berry curvature at the Fermi level, which is verified by the first-principles calculations. Topological spin textures at the interface are directly visualized via high-magnetic-field magnetic force microscopy, which accounts for the large AHE, as confirmed by the atomic simulations. These findings open a new avenue for exploring the large AHE in heterointerfaces and facilitate the potential applications in topological spintronic devices.

cond-mat.mtrl-sci↗

Resistive memory-based zero-shot liquid state machine for multimodal event data learning

The human brain is a complex spiking neural network (SNN), capable of learning multimodal signals in a zero-shot manner by generalizing existing knowledge. Remarkably, it maintains minimal power consumption through event-based signal propagation. However, replicating the human brain in neuromorphic hardware presents both hardware and software challenges. Hardware limitations, such as the slowdown of Moore's law and Von Neumann bottleneck, hinder the efficiency of digital computers. Additionally, SNNs are characterized by their software training complexities. To this end, we propose a hardware-software co-design on a 40 nm 256 Kb in-memory computing macro that physically integrates a fixed and random liquid state machine (LSM) SNN encoder with trainable artificial neural network (ANN) projections. We showcase the zero-shot LSM-based learning of multimodal events on the N-MNIST and N-TIDIGITS datasets, including visual and audio data association, as well as neural and visual data alignment for brain-machine interfaces. Our co-design achieves classification accuracy comparable to fully optimized software models, resulting in a 152.83 and 393.07-fold reduction in training costs compared to SOTA contrastive language-image pre-training (CLIP) and Prototypical networks, and a 23.34 and 160-fold improvement in energy efficiency compared to cutting-edge digital hardware, respectively. These proof-of-principle prototypes demonstrate zero-shot multimodal events learning capability for emerging efficient and compact neuromorphic hardware.

cs.ET↗

Non-Hermiticity enhanced topological immunity of one-dimensional $p$-wave superconducting chain

Studying the immunity of topological superconductors against non-local disorder is one of the key issues in both fundamental researches and potential applications. Here, we demonstrate that the non-Hermiticity can enhance the robustness of topological edge states against non-local disorder. To illustrate that, we consider a one-dimensional (1D) generalized Kitaev model with the asymmetric hopping in the presence of disorder. It is shown that the region supporting Majorana zero modes (MZMs) against non-local disorder will be enlarged by the non-Hermiticity. Through both the numerical and analytical analyses, we show that non-Hermiticity can stabilize the topological superconducting (SC) phase against higher disorder strength. Our studies would offer new insights into the interplay between non-Hermiticity and topology.

cond-mat.supr-con↗

Multiscale discrete Maxwell boundary condition for the discrete unified gas kinetic scheme for all Knudsen number flows

In this paper, a multiscale boundary condition for the discrete unified gas kinetic scheme (DUGKS) is developed for gas flows in all flow regimes. Based on the discrete Maxwell boundary condition (DMBC), this study addresses the limitations of the original DMBC used in DUGKS. Specifically, it is found that the DMBC produces spurious velocity slip and temperature jump, which are proportional to the mesh size and the momentum accommodation coefficient. The proposed multiscale DMBC is implemented by ensuring that the reflected original distribution function excludes collision effects. Theoretical analyses and numerous numerical tests show that the multiscale DMBC can achieve exactly the non-slip and non-jump conditions in the continuum limit and accurately captures non-equilibrium phenomena across a wide range of Knudsen numbers. The results demonstrate that the DUGKS with the multiscale DMBC can work properly for wall boundary conditions in all flow regimes with a fixed discretization in both space and time, without limitations on the thickness of the Knudsen layer and relaxation time.

physics.flu-dyn↗

An Empirical Study of Catastrophic Forgetting in Large Language Models During Continual Fine-tuning

Catastrophic forgetting (CF) is a phenomenon that occurs in machine learning when a model forgets previously learned information while acquiring new knowledge for achieving a satisfactory performance in downstream tasks. As large language models (LLMs) have demonstrated remarkable performance, it is intriguing to investigate whether CF exists during the continual instruction tuning of LLMs. This study empirically evaluates the forgetting phenomenon in LLMs' knowledge during continual instruction tuning from the perspectives of domain knowledge, reasoning, and reading comprehension. The experiments reveal that catastrophic forgetting is generally observed in LLMs ranging from 1b to 7b parameters. Surprisingly, as the model scale increases, the severity of forgetting intensifies in such a model sale range which may result from the much significant initial performance in the larger LLM. Comparing the decoder-only model BLOOMZ with the encoder-decoder model mT0, BLOOMZ exhibits less forgetting and retains more knowledge. Interestingly, we also observe that LLMs can mitigate language biases, such as gender bias, during continual fine-tuning. Furthermore, our findings indicate that general instruction tuning can help alleviate the forgetting phenomenon in LLMs during subsequent fine-tuning.

cs.CL↗

Enabling Strong Neutrino Self-interaction with an Unparticle Mediator

Recent explorations of the cosmic microwave background and the large-scale structure of the universe have indicated a preference for sizable neutrino self-interactions, much stronger than what the Standard Model offers. When interpreted in the context of simple particle-physics models with a light, neutrinophilic scalar mediator, some of the hints are already in tension with the combination of terrestrial, astrophysical and cosmological constraints. We take a novel approach by considering neutrino self-interactions through a mediator with a smooth, continuous, spectral density function. We consider Georgi's unparticle with a mass gap as a concrete example and point out two useful effects for mitigating two leading constraints. 1) The Unparticle is ``broadband'' -- it occupies a wide range of masses which allows it to pass the early universe constraint on effective number of extra neutrinos ($ΔN_{\rm eff.}$) even if the mass gap lies below the MeV scale. 2) Scattering involving unparticles is less resonant -- which lifts the constraint set by IceCube based on a recent measurement of ultra-high-energy cosmogenic neutrinos. Our analysis shows that an unparticle mediator can open up ample parameter space for strong neutrino self-interactions of interest to cosmology and serves a well-motivated target for upcoming experiments.

hep-ph↗

Nash CoT: Multi-Path Inference with Preference Equilibrium

Chain of thought (CoT) is a reasoning framework that can enhance the performance of Large Language Models (LLMs) on complex inference tasks. In particular, among various studies related to CoT, multi-path inference stands out as a simple yet effective improvement. However, there is no optimal setting for the number of inference paths. Therefore, we have to increase the number of inference paths to obtain better results, which in turn increases the inference cost. To address this limitation, we can utilize question-related role templates to guide LLMs into relevant roles, thereby increasing the possibility of correct inferences for each path and further reducing dependence on the number of inference paths while improving reasoning accuracy. However, placing LLMs into specific roles may reduce their reasoning diversity and performance on a few tasks where role dependence is low. To alleviate the excessive immersion of the LLM into a specific role, we propose Nash CoT by constructing a game system on each path that balances the generation from role-specific LLMs' and the general LLMs' generation, thereby ensuring both effective role adoption and diversity in LLM generation further maintaining the performance of multi-path inference while reducing the requirement of the number of inference paths. We evaluate Nash CoT across various inference tasks, including Arabic Reasoning, Commonsense Question Answering, and Symbolic Inference, achieving results that are comparable to or better than those of multi-path CoT with the equal number of inference paths.

cs.CL↗

Vision-and-Language Navigation Today and Tomorrow: A Survey in the Era of Foundation Models

Vision-and-Language Navigation (VLN) has gained increasing attention over recent years and many approaches have emerged to advance their development. The remarkable achievements of foundation models have shaped the challenges and proposed methods for VLN research. In this survey, we provide a top-down review that adopts a principled framework for embodied planning and reasoning, and emphasizes the current methods and future opportunities leveraging foundation models to address VLN challenges. We hope our in-depth discussions could provide valuable resources and insights: on one hand, to milestone the progress and explore opportunities and potential roles for foundation models in this field, and on the other, to organize different challenges and solutions in VLN to foundation model researchers.

cs.CL↗

Many-body interferometry of one-dimensional integrable systems

We propose using many-body Ramsey interferometry to measure non-equilibrium correlation functions of one-dimensional (1D) integrable systems. The 1D transverse-field Ising model, which is conjectured to equilibrate into non-thermal Gibbs ensemble (GGE) steady states, is studied. It is shown that retarded Green's functions, as opposed to ordinary spin-spin correlators considered previously, can convincingly distinguish between the GGE and thermal post-quench steady states, justifying the assumption of convergence towards the GGE as the system equilibrates. We also propose the experimental protocol for measuring the response functions with Ramsey interferometry, which can be used to distinguish between different post-quench phases of the model. Our proposal can be realized with current ultracold atom techniques, and opens up the possibility to study dynamics in non-thermal ensembles.

cond-mat.quant-gas↗

Experimental investigation of the uncertainty relation in pre- and postselected systems

Uncertainty principle is one of the fundamental principles of quantum mechanics. Exploring such uncertainty relations in pre- and postselected (PPS) systems, where weak measurements on post-selected states have been used as a powerful tool for exploring the foundation of quantum mechanics, has so far eluded experimental effort. In this work, we experimentally investigate the Robertson-Heisenberg-type uncertainty relation for two incompatible observables in a PPS system. Through conducting a von Neumann-type measurement, uncertainty relations between two non-commuting Pauli observables are experimentally unveiled. Such uncertainty relations in the PPS system impose limitations on the joint sharp preparation of pre- and postselected states for two incompatible observables. Our experiments would be useful for the development of amplification techniques for precision measurements.

physics.optics↗

PerSphere: A Comprehensive Framework for Multi-Faceted Perspective Retrieval and Summarization

As online platforms and recommendation algorithms evolve, people are increasingly trapped in echo chambers, leading to biased understandings of various issues. To combat this issue, we have introduced PerSphere, a benchmark designed to facilitate multi-faceted perspective retrieval and summarization, thus breaking free from these information silos. For each query within PerSphere, there are two opposing claims, each supported by distinct, non-overlapping perspectives drawn from one or more documents. Our goal is to accurately summarize these documents, aligning the summaries with the respective claims and their underlying perspectives. This task is structured as a two-step end-to-end pipeline that includes comprehensive document retrieval and multi-faceted summarization. Furthermore, we propose a set of metrics to evaluate the comprehensiveness of the retrieval and summarization content. Experimental results on various counterparts for the pipeline show that recent models struggle with such a complex task. Analysis shows that the main challenge lies in long context and perspective extraction, and we propose a simple but effective multi-agent summarization system, offering a promising solution to enhance performance on PerSphere.

cs.CL↗

Fast-DetectGPT: Efficient Zero-Shot Detection of Machine-Generated Text via Conditional Probability Curvature

Large language models (LLMs) have shown the ability to produce fluent and cogent content, presenting both productivity opportunities and societal risks. To build trustworthy AI systems, it is imperative to distinguish between machine-generated and human-authored content. The leading zero-shot detector, DetectGPT, showcases commendable performance but is marred by its intensive computational costs. In this paper, we introduce the concept of conditional probability curvature to elucidate discrepancies in word choices between LLMs and humans within a given context. Utilizing this curvature as a foundational metric, we present **Fast-DetectGPT**, an optimized zero-shot detector, which substitutes DetectGPT's perturbation step with a more efficient sampling step. Our evaluations on various datasets, source models, and test conditions indicate that Fast-DetectGPT not only surpasses DetectGPT by a relative around 75% in both the white-box and black-box settings but also accelerates the detection process by a factor of 340, as detailed in Table 1. See \url{https://github.com/baoguangsheng/fast-detect-gpt} for code, data, and results.

cs.CL↗