Search

Cross-lingual chain-of-thought can effectively complete reasoning tasks across languages, which gains increasing attention. Recently, dominant approaches in the literature improve cross-lingual alignment capabilities by integrating reasoning knowledge from different languages. Despite achieving excellent performance, current methods still have two main challenges: (1) Manual language specification: They still highly rely on manually selecting the languages to integrate, severely affecting their generalizability; (2) Static weight allocation: Current methods simply integrate all languages equally. In fact, different language reasoning paths should have different weights to achieve better complementation and integration. Motivated by this, we introduce an Automatic Cross-lingual Alignment Planning (AutoCAP) for zero-shot chain-of-thought to address the above challenges. The core of AutoCAP consists of two components: (1) Automatic Language Selection Prompting to guide LLMs to select appropriate languages and (2) Automatic Weight Allocation Prompting to automatically allocate alignment weight scores to each reasoning path. Extensive experiments on several benchmarks reveal that AutoCAP achieves state-of-the-art performance, surpassing previous methods that required manual effort., Comment: Accepted by ACL2024 Findings

While large language models (LLMs) like ChatGPT have shown impressive capabilities in Natural Language Processing (NLP) tasks, a systematic investigation of their potential in this field remains largely unexplored. This study aims to address this gap by exploring the following questions: (1) How are LLMs currently applied to NLP tasks in the literature? (2) Have traditional NLP tasks already been solved with LLMs? (3) What is the future of the LLMs for NLP? To answer these questions, we take the first step to provide a comprehensive overview of LLMs in NLP. Specifically, we first introduce a unified taxonomy including (1) parameter-frozen application and (2) parameter-tuning application to offer a unified perspective for understanding the current progress of LLMs in NLP. Furthermore, we summarize the new frontiers and the associated challenges, aiming to inspire further groundbreaking advancements. We hope this work offers valuable insights into the {potential and limitations} of LLMs in NLP, while also serving as a practical guide for building effective LLMs in NLP.

Attack knowledge graph construction seeks to convert textual cyber threat intelligence (CTI) reports into structured representations, portraying the evolutionary traces of cyber attacks. Even though previous research has proposed various methods to construct attack knowledge graphs, they generally suffer from limited generalization capability to diverse knowledge types as well as requirement of expertise in model design and tuning. Addressing these limitations, we seek to utilize Large Language Models (LLMs), which have achieved enormous success in a broad range of tasks given exceptional capabilities in both language understanding and zero-shot task fulfillment. Thus, we propose a fully automatic LLM-based framework to construct attack knowledge graphs named: AttacKG+. Our framework consists of four consecutive modules: rewriter, parser, identifier, and summarizer, each of which is implemented by instruction prompting and in-context learning empowered by LLMs. Furthermore, we upgrade the existing attack knowledge schema and propose a comprehensive version. We represent a cyber attack as a temporally unfolding event, each temporal step of which encapsulates three layers of representation, including behavior graph, MITRE TTP labels, and state summary. Extensive evaluation demonstrates that: 1) our formulation seamlessly satisfies the information needs in threat event analysis, 2) our construction framework is effective in faithfully and accurately extracting the information defined by AttacKG+, and 3) our attack graph directly benefits downstream security practices such as attack reconstruction. All the code and datasets will be released upon acceptance., Comment: 20 pages, 5 figures

Removing multiple degradations, such as haze, rain, and blur, from real-world images poses a challenging and illposed problem. Recently, unified models that can handle different degradations have been proposed and yield promising results. However, these approaches focus on synthetic images and experience a significant performance drop when applied to realworld images. In this paper, we introduce Uni-Removal, a twostage semi-supervised framework for addressing the removal of multiple degradations in real-world images using a unified model and parameters. In the knowledge transfer stage, Uni-Removal leverages a supervised multi-teacher and student architecture in the knowledge transfer stage to facilitate learning from pretrained teacher networks specialized in different degradation types. A multi-grained contrastive loss is introduced to enhance learning from feature and image spaces. In the domain adaptation stage, unsupervised fine-tuning is performed by incorporating an adversarial discriminator on real-world images. The integration of an extended multi-grained contrastive loss and generative adversarial loss enables the adaptation of the student network from synthetic to real-world domains. Extensive experiments on real-world degraded datasets demonstrate the effectiveness of our proposed method. We compare our Uni-Removal framework with state-of-the-art supervised and unsupervised methods, showcasing its promising results in real-world image dehazing, deraining, and deblurring simultaneously.

We define an action of the operad of projective spineless cacti on each stage of the Taylor tower for the space of framed 1-dimensional long knots in any Euclidean space. By mapping a subspace of the overlapping intervals operad to the subspace of normalized cacti, we prove a space-level compatibility of our action with Budney's little 2-cubes action on the space of framed long knots itself. Our result improves upon previous joint work of the first author related to the conjecture that the Taylor tower for classical long knots is a universal Vassiliev invariant over the integers. As a corollary, we reprove the nontriviality of a certain Browder bracket class first detected by Sakai., Comment: Main changes: added a new proof of the nontriviality of a certain Browder bracket found by Sakai; added an illustration of the action of cacti on aligned maps coming from knots; reduced background content in Sections 2 and 3; and slightly shortened Section 5. Now 40 pages

The direct-current (DC) resistivity method is a commonly used geophysical technique for surveying adverse geological conditions. Inversion can reconstruct the resistivity model from data, which is an important step in the geophysical survey. However, the inverse problem is a serious ill-posed problem that makes it easy to obtain incorrect inversion results. Deep learning (DL) provides new avenues for solving inverse problems, and has been widely studied. Currently, most DL inversion methods for resistivity are purely data-driven and depend heavily on labels (real resistivity models). However, real resistivity models are difficult to obtain through field surveys. An inversion network may not be effectively trained without labels. In this study, we built an unsupervised learning resistivity inversion scheme based on the physical law of electric field propagation. First, a forward modeling process was embedded into the network training, which converted the predicted model to predicted data and formed a data misfit to the observation data. Unsupervised training independent of the real model was realized using the data misfit as a loss function. Moreover, a dynamic smoothing constraint was imposed on the loss function to alleviate the ill-posed inverse problem. Finally, a transfer learning scheme was applied to adapt the trained network with simulated data to field data. Numerical simulations and field tests showed that the proposed method can accurately locate and depict geological targets.

Nowadays, the development of social media allows people to access the latest news easily. During the COVID-19 pandemic, it is important for people to access the news so that they can take corresponding protective measures. However, the fake news is flooding and is a serious issue especially under the global pandemic. The misleading fake news can cause significant loss in terms of the individuals and the society. COVID-19 fake news detection has become a novel and important task in the NLP field. However, fake news always contain the correct portion and the incorrect portion. This fact increases the difficulty of the classification task. In this paper, we fine tune the pre-trained Bidirectional Encoder Representations from Transformers (BERT) model as our base model. We add BiLSTM layers and CNN layers on the top of the finetuned BERT model with frozen parameters or not frozen parameters methods respectively. The model performance evaluation results showcase that our best model (BERT finetuned model with frozen parameters plus BiLSTM layers) achieves state-of-the-art results towards COVID-19 fake news detection task. We also explore keywords evaluation methods using our best model and evaluate the model performance after removing keywords.

There are basically two interesting breeds of $E_2$ operads, those that detect loop spaces and those that solve Deligne's conjecture. The former deformation retract to Milgram's space obtained by gluing together permutahedra at their faces. We show how the second breed can be covered by permutahedra as well. Even more is true, the quotient is actually already an operad up to homotopy, which induces the operad structure on cellular chains adapted to prove Deligne's conjecture, while no such structure is known on Milgram's space. We show, explicitely, that these two quotients are homotopy equivalent. This gives a new topological proof that operads of this type are indeed of the right homotopy type. It also furnishes a very nice clean description in terms of polyhedra, and with it PL topology, for the whole story. The permutahedra and partial orders play a central role. This, in turn, provides direct links to other fields of mathematics. We for instance find a new cellular decomposition of permutahedra using partial orders and that the permutahedra give the cells for the Dyer--Lashof operations., Comment: 25 figures

Farber and Rudyak introduced topological complexity $\mathbf{TC}(X)$ of motion planning and its higher analogs $\mathbf{TC}_n(X)$ to measure the complexity of assigning paths to point tuples. Motivated by motion planning where a robotic system starts at the home configuration and possibly comes back after passing through a list of locations, we define three other classes of topological complexities $\mathbf{LTC}_n(X)$, $\mathbf{ltc}_n(X)$ and $\mathbf{tc}_n(X)$. We will compare these notions and compute the latter for some familiar classes of spaces., Comment: 7 pages; comments added: LTC_2(X) was introduced earlier by My Ismail Mamouni and Derfoufi Younes and they concluded that LTC_2(X)=TC(X)