-
CP violation in light neutrino oscillations and heavy neutrino decays: a general and explicit seesaw-bridged correlation
Authors:
Zhi-zhong Xing
Abstract:
With the help of a block parametrization of the canonical seesaw flavor textures in terms of the Euler-like rotation angles and CP-violaing phases, we derive a general and explicit expression for the Jarlskog invariant of CP violation in neutrino oscillations and compare it with the CP-violating asymmetries of heavy Majorana neutrino decays within the minimal seesaw framework which contains two ri…
▽ More
With the help of a block parametrization of the canonical seesaw flavor textures in terms of the Euler-like rotation angles and CP-violaing phases, we derive a general and explicit expression for the Jarlskog invariant of CP violation in neutrino oscillations and compare it with the CP-violating asymmetries of heavy Majorana neutrino decays within the minimal seesaw framework which contains two right-handed neutrino fields. Two simplified scenarios are discussed to illustrate how direct or indirect the correlation between these two types of CP violation can be.
△ Less
Submitted 3 July, 2023; v1 submitted 4 June, 2023;
originally announced June 2023.
-
Prompt Sapper: LLM-Empowered Software Engineering Infrastructure for AI-Native Services
Authors:
Zhenchang Xing,
Qing Huang,
Yu Cheng,
Liming Zhu,
Qinghua Lu,
Xiwei Xu
Abstract:
Foundation models, such as GPT-4, DALL-E have brought unprecedented AI "operating system" effect and new forms of human-AI interaction, sparking a wave of innovation in AI-native services, where natural language prompts serve as executable "code" directly (prompt as executable code), eliminating the need for programming language as an intermediary and opening up the door to personal AI. Prompt Sap…
▽ More
Foundation models, such as GPT-4, DALL-E have brought unprecedented AI "operating system" effect and new forms of human-AI interaction, sparking a wave of innovation in AI-native services, where natural language prompts serve as executable "code" directly (prompt as executable code), eliminating the need for programming language as an intermediary and opening up the door to personal AI. Prompt Sapper has emerged in response, committed to support the development of AI-native services by AI chain engineering. It creates a large language model (LLM) empowered software engineering infrastructure for authoring AI chains through human-AI collaborative intelligence, unleashing the AI innovation potential of every individual, and forging a future where everyone can be a master of AI innovation. This article will introduce the R\&D motivation behind Prompt Sapper, along with its corresponding AI chain engineering methodology and technical practices.
△ Less
Submitted 3 June, 2023;
originally announced June 2023.
-
AI Chain on Large Language Model for Unsupervised Control Flow Graph Generation for Statically-Typed Partial Code
Authors:
Qing Huang,
Zhou Zou,
Zhenchang Xing,
Zhenkang Zuo,
Xiwei Xu,
Qinghua Lu
Abstract:
Control Flow Graphs (CFGs) are essential for visualizing, understanding and analyzing program behavior. For statically-typed programming language like Java, developers obtain CFGs by using bytecode-based methods for compilable code and Abstract Syntax Tree (AST)-based methods for partially uncompilable code. However, explicit syntax errors during AST construction and implicit semantic errors cause…
▽ More
Control Flow Graphs (CFGs) are essential for visualizing, understanding and analyzing program behavior. For statically-typed programming language like Java, developers obtain CFGs by using bytecode-based methods for compilable code and Abstract Syntax Tree (AST)-based methods for partially uncompilable code. However, explicit syntax errors during AST construction and implicit semantic errors caused by bad coding practices can lead to behavioral loss and deviation of CFGs.To address the issue, we propose a novel approach that leverages the error-tolerant and understanding ability of pre-trained Large Language Models (LLMs) to generate CFGs. Our approach involves a Chain of Thought (CoT) with four steps: structure hierarchy extraction, nested code block extraction, CFG generation of nested code blocks, and fusion of all nested code blocks' CFGs. To address the limitations of the original CoT's single-prompt approach (i.e., completing all steps in a single generative pass), which can result in an ``epic'' prompt with hard-to-control behavior and error accumulation, we break down the CoT into an AI chain with explicit sub-steps. Each sub-step corresponds to a separate AI-unit, with an effective prompt assigned to each unit for interacting with LLMs to accomplish a specific purpose.Our experiments confirmed that our method outperforms existing CFG tools in terms of node and edge coverage, especially for incomplete or erroneous code. We also conducted an ablation experiment and confirmed the effectiveness of AI chain design principles: Hierarchical Task Breakdown, Unit Composition, and Mix of AI Units and Non-AI Units.Our work opens up new possibilities for building foundational software engineering tools based on LLMs, as opposed to traditional program analysis methods.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Source Code Data Augmentation for Deep Learning: A Survey
Authors:
Terry Yue Zhuo,
Zhou Yang,
Zhensu Sun,
Yufei Wang,
Li Li,
Xiaoning Du,
Zhenchang Xing,
David Lo
Abstract:
The increasingly popular adoption of deep learning models in many critical source code tasks motivates the development of data augmentation (DA) techniques to enhance training data and improve various capabilities (e.g., robustness and generalizability) of these models. Although a series of DA methods have been proposed and tailored for source code models, there lacks a comprehensive survey and ex…
▽ More
The increasingly popular adoption of deep learning models in many critical source code tasks motivates the development of data augmentation (DA) techniques to enhance training data and improve various capabilities (e.g., robustness and generalizability) of these models. Although a series of DA methods have been proposed and tailored for source code models, there lacks a comprehensive survey and examination to understand their effectiveness and implications. This paper fills this gap by conducting a comprehensive and integrative survey of data augmentation for source code, wherein we systematically compile and encapsulate existing literature to provide a comprehensive overview of the field. We start with an introduction of data augmentation in source code and then provide a discussion on major representative approaches. Next, we highlight the general strategies and techniques to optimize the DA quality. Subsequently, we underscore techniques useful in real-world source code scenarios and downstream tasks. Finally, we outline the prevailing challenges and potential opportunities for future research. In essence, we aim to demystify the corpus of existing literature on source code DA for deep learning, and foster further exploration in this sphere. Complementing this, we present a continually updated GitHub repository that hosts a list of update-to-date papers on DA for source code modeling, accessible at \url{https://github.com/terryyz/DataAug4Code}.
△ Less
Submitted 13 November, 2023; v1 submitted 31 May, 2023;
originally announced May 2023.
-
Semi-inclusive decays of $B$ meson into a dark anti-baryon and baryons
Authors:
Yu-Ji Shi,
Ye Xing,
Zhi-Peng Xing
Abstract:
Using the recently developed $B$-Mesogenesis scenario, we studied the semi-inclusive decays of $B$ meson into a dark anti-baryon $ψ$ plus any possible states $X$ containing $u/c$ and $d/s$ quarks with unit baryon number. The two types of effective Lagrangians proposed by the scenario are both considered in the study. The semi-inclusive decay branching fractions of $B\to X ψ$ are calculated by the…
▽ More
Using the recently developed $B$-Mesogenesis scenario, we studied the semi-inclusive decays of $B$ meson into a dark anti-baryon $ψ$ plus any possible states $X$ containing $u/c$ and $d/s$ quarks with unit baryon number. The two types of effective Lagrangians proposed by the scenario are both considered in the study. The semi-inclusive decay branching fractions of $B\to X ψ$ are calculated by the method of heavy quark expansion, where the non-perturbative contributions from the matrix elements of dimension-5 operators are included. We obtained the branching fractions as functions of the dark anti-baryon mass. Using the experimental upper limits of the branching fractions, we presented the constraints of the coupling constants in the $B$-Mesogenesis scenario.
△ Less
Submitted 23 August, 2023; v1 submitted 27 May, 2023;
originally announced May 2023.
-
TranSFormer: Slow-Fast Transformer for Machine Translation
Authors:
Bei Li,
Yi Jing,
Xu Tan,
Zhen Xing,
Tong Xiao,
Jingbo Zhu
Abstract:
Learning multiscale Transformer models has been evidenced as a viable approach to augmenting machine translation systems. Prior research has primarily focused on treating subwords as basic units in developing such systems. However, the incorporation of fine-grained character-level features into multiscale Transformer has not yet been explored. In this work, we present a \textbf{S}low-\textbf{F}ast…
▽ More
Learning multiscale Transformer models has been evidenced as a viable approach to augmenting machine translation systems. Prior research has primarily focused on treating subwords as basic units in developing such systems. However, the incorporation of fine-grained character-level features into multiscale Transformer has not yet been explored. In this work, we present a \textbf{S}low-\textbf{F}ast two-stream learning model, referred to as Tran\textbf{SF}ormer, which utilizes a ``slow'' branch to deal with subword sequences and a ``fast'' branch to deal with longer character sequences. This model is efficient since the fast branch is very lightweight by reducing the model width, and yet provides useful fine-grained features for the slow branch. Our TranSFormer shows consistent BLEU improvements (larger than 1 BLEU point) on several machine translation benchmarks.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Global analysis of measured and unmeasured hadronic two-body weak decays of antitriplet charmed baryons
Authors:
Zhi-Peng Xing,
Xiao-Gang He,
Fei Huang,
Chang Yang
Abstract:
A large amount of data on hadronic two body weak decays of anti-triplet charmed baryons $T_{c\bar 3}$ to an octet baryon $T_8$ and an octet or singlet pseudoscalar meson $P$, $T_{c \bar 3} \to T_8 P$, have been measured. The SU(3) flavor symmetry has been applied to study these decays to obtain insights about weak interactions for charm physics. However not all such decays needed to determine the…
▽ More
A large amount of data on hadronic two body weak decays of anti-triplet charmed baryons $T_{c\bar 3}$ to an octet baryon $T_8$ and an octet or singlet pseudoscalar meson $P$, $T_{c \bar 3} \to T_8 P$, have been measured. The SU(3) flavor symmetry has been applied to study these decays to obtain insights about weak interactions for charm physics. However not all such decays needed to determine the SU(3) irreducible amplitudes have been measured forbidding a complete global analysis. Previously, it has been shown that data from measured decays can be used to do a global fit to determine all except one parity violating and one parity conserving amplitudes of the relevant SU(3) irreducible amplitudes causing 8 hadronic two body weak decay channels involving $Ξ^0_c$ to $η$ or $η'$ transitions undetermined. It is important to obtain information about these decays in order to guide experimental searches. In this work using newly measured decay modes by BESIII and Belle in 2022, we carry out a global analysis and parameterize the unknown amplitudes to provide the ranges for the branching ratios of the 8 undetermined decays. Our results indicate that the SU(3) flavor symmetry can explain the measured data exceptionally well, with a remarkable minimal $χ^2/d.o.f.$ of 1.21 and predict 80 observables in 45 decays for future experimental data to test. We then vary the unknown SU(3) amplitudes to obtain the allowed range of branching ratios for the 8 undetermined decays. We find that some of them are within reach of near future experimental capabilities. We urge our experimental colleagues to carry out related searches.
△ Less
Submitted 2 November, 2023; v1 submitted 24 May, 2023;
originally announced May 2023.
-
NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing
Authors:
Mulong Xie,
Jiaming Ye,
Zhenchang Xing,
Lei Ma
Abstract:
To ensure app compatibility and smoothness of user experience across diverse devices and platforms, developers have to perform cross-device, cross-platform testing of their apps, which is laborious. There comes a recently increasing trend of using a record and replay approach to facilitate the testing process. However, the graphic user interface (GUI) of an app running on different devices and pla…
▽ More
To ensure app compatibility and smoothness of user experience across diverse devices and platforms, developers have to perform cross-device, cross-platform testing of their apps, which is laborious. There comes a recently increasing trend of using a record and replay approach to facilitate the testing process. However, the graphic user interface (GUI) of an app running on different devices and platforms differs dramatically. This complicates the record and replay process as the presence, appearance and layout of the GUI widgets in the recording phase and replaying phase can be inconsistent. Existing techniques resort to instrumenting into the underlying system to obtain the app metadata for widget identification and matching between various devices. But such intrusive practices are limited by the accessibility and accuracy of the metadata on different platforms. On the other hand, several recent works attempt to derive the GUI information by analyzing the GUI image. Nevertheless, their performance is curbed by the applied preliminary visual approaches and the failure to consider the divergence of the same GUI displayed on different devices. To address the challenge, we propose a non-intrusive cross-device and cross-platform system NiCro. NiCro utilizes the state-of-the-art GUI widget detector to detect widgets from GUI images and then analyses a set of comprehensive information to match the widgets across diverse devices. At the system level, NiCro can interact with a virtual device farm and a robotic arm system to perform cross-device, cross-platform testing non-intrusively. We first evaluated NiCro by comparing its multi-modal widget and GUI matching approach with 4 commonly used matching techniques. Then, we further examined its overall performance on 8 various devices, using it to record and replay 107 test cases of 28 popular apps and the home page to show its effectiveness.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Using a virtual reality interview simulator to explore factors influencing people's behavior
Authors:
Xinyi Luo,
Yuyang Wang,
Lik-Hang Lee,
Zihan Xing,
Shan Jin,
Boya Dong,
Yuanyi Hu,
Zeming Chen,
Jing Yan,
Pan Hui
Abstract:
Virtual reality interview simulator (VRIS) provides an effective and manageable approach for candidates prone to being very nervous during interviews, yet, the major anxiety-inducing elements remain unknown. During an interview, the anxiety levels, overall experience, and performance of interviewees might be affected by various circumstances. By analyzing electrodermal activity and questionnaire,…
▽ More
Virtual reality interview simulator (VRIS) provides an effective and manageable approach for candidates prone to being very nervous during interviews, yet, the major anxiety-inducing elements remain unknown. During an interview, the anxiety levels, overall experience, and performance of interviewees might be affected by various circumstances. By analyzing electrodermal activity and questionnaire, we investigated the influence of five variables: (I) \textit{Realism}; (II) \textit{Question type}; (III) \textit{Interviewer attitude}; (IV) \textit{Timing}; and (V) \textit{Preparation}. As such, an orthogonal design $L_8(4^1 \times 2^4)$ with eight experiments ($O A_8$ matrix) was implemented, in which 19 college students took part in the experiments. Considering the anxiety, overall experience, and performance of the interviewees, results indicate that \textit{Question type} plays a major role; secondly, \textit{Realism}, \textit{Preparation}, and \textit{Interviewer attitude} all have some degree of influence; lastly, \textit{Timing} have little to no impact. Specifically, professional interview questions elicited a greater degree of anxiety than personal ones among the categories of interview questions. This work contributes to our understanding of anxiety-stimulating factors during job interviews in virtual reality and provides cues for designing future VRIS.
△ Less
Submitted 16 May, 2023; v1 submitted 13 May, 2023;
originally announced May 2023.
-
A Taxonomy of Foundation Model based Systems through the Lens of Software Architecture
Authors:
Qinghua Lu,
Liming Zhu,
Xiwei Xu,
Yue Liu,
Zhenchang Xing,
Jon Whittle
Abstract:
The recent release of large language model (LLM) based chatbots, such as ChatGPT, has attracted huge interest in foundation models. It is widely believed that foundation models will serve as the fundamental building blocks for future AI systems. As foundation models are in their early stages, the design of foundation model based systems has not yet been systematically explored. There is limited un…
▽ More
The recent release of large language model (LLM) based chatbots, such as ChatGPT, has attracted huge interest in foundation models. It is widely believed that foundation models will serve as the fundamental building blocks for future AI systems. As foundation models are in their early stages, the design of foundation model based systems has not yet been systematically explored. There is limited understanding about the impact of introducing foundation models in software architecture. Therefore, in this paper, we propose a taxonomy of foundation model based systems, which classifies and compares the characteristics of foundation models and design options of foundation model based systems. Our taxonomy comprises three categories: the pretraining and adaptation of foundation models, the architecture design of foundation model based systems, and responsible-AI-by-design. This taxonomy can serve as concrete guidance for making major architectural design decisions when designing foundation model based systems and highlights trade-offs arising from design decisions.
△ Less
Submitted 21 January, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Voicify Your UI: Towards Android App Control with Voice Commands
Authors:
Minh Duc Vu,
Han Wang,
Zhuang Li,
Gholamreza Haffari,
Zhenchang Xing,
Chunyang Chen
Abstract:
Nowadays, voice assistants help users complete tasks on the smartphone with voice commands, replacing traditional touchscreen interactions when such interactions are inhibited. However, the usability of those tools remains moderate due to the problems in understanding rich language variations in human commands, along with efficiency and comprehensibility issues. Therefore, we introduce Voicify, an…
▽ More
Nowadays, voice assistants help users complete tasks on the smartphone with voice commands, replacing traditional touchscreen interactions when such interactions are inhibited. However, the usability of those tools remains moderate due to the problems in understanding rich language variations in human commands, along with efficiency and comprehensibility issues. Therefore, we introduce Voicify, an Android virtual assistant that allows users to interact with on-screen elements in mobile apps through voice commands. Using a novel deep learning command parser, Voicify interprets human verbal input and performs matching with UI elements. In addition, the tool can directly open a specific feature from installed applications by fetching application code information to explore the set of in-app components. Our command parser achieved 90\% accuracy on the human command dataset. Furthermore, the direct feature invocation module achieves better feature coverage in comparison to Google Assistant. The user study demonstrates the usefulness of Voicify in real-world scenarios.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Is It a Trap? A Large-scale Empirical Study And Comprehensive Assessment of Online Automated Privacy Policy Generators for Mobile Apps
Authors:
Shidong Pan,
Dawen Zhang,
Mark Staples,
Zhenchang Xing,
Jieshan Chen,
Xiwei Xu,
James Hoang
Abstract:
Privacy regulations protect and promote the privacy of individuals by requiring mobile apps to provide a privacy policy that explains what personal information is collected and how these apps process this information. However, developers often do not have sufficient legal knowledge to create such privacy policies. Online Automated Privacy Policy Generators (APPGs) can create privacy policies, but…
▽ More
Privacy regulations protect and promote the privacy of individuals by requiring mobile apps to provide a privacy policy that explains what personal information is collected and how these apps process this information. However, developers often do not have sufficient legal knowledge to create such privacy policies. Online Automated Privacy Policy Generators (APPGs) can create privacy policies, but their quality and other characteristics can vary. In this paper, we conduct the first large-scale empirical study and comprehensive assessment of APPGs for mobile apps. Specifically, we scrutinize 10 APPGs on multiple dimensions. We further perform the market penetration analysis by collecting 46,472 Android app privacy policies from Google Play, discovering that nearly 20.1% of privacy policies could be generated by existing APPGs. Lastly, we point out that generated policies in our study do not fully comply with GDPR, CCPA, or LGPD. In summary, app developers must carefully select and use the appropriate APPGs with careful consideration to avoid potential pitfalls.
△ Less
Submitted 23 September, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Baryonic heavy-to-light form factors induced by tensor current in light-front approach
Authors:
Hang Liu,
Wei Wang,
Zhi-Peng Xing
Abstract:
Inspired by the recent anomalies on the lepton flavor universalities, we present a investigation of baryonic form factors induced by heavy-to-light tensor currents. With the light-front quark model, we calculate the tensor form factors and the momentum-distributions are accessed with two parametrization forms. Numerical results for the form factors at $q^2=0$ are derived and parameters in $q^2$ di…
▽ More
Inspired by the recent anomalies on the lepton flavor universalities, we present a investigation of baryonic form factors induced by heavy-to-light tensor currents. With the light-front quark model, we calculate the tensor form factors and the momentum-distributions are accessed with two parametrization forms. Numerical results for the form factors at $q^2=0$ are derived and parameters in $q^2$ distributions are obtained through extrapolation. Our results are helpful for the analysis of new physics contributions in the heavy-to-light transition.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue
Authors:
Qing Huang,
Zishuai Li,
Zhenchang Xing,
Zhengkang Zuo,
Xin Peng,
Xiwei Xu,
Qinghua Lu
Abstract:
Developers' API needs should be more pragmatic, such as seeking suggestive, explainable, and extensible APIs rather than the so-called best result. Existing API search research cannot meet these pragmatic needs because they are solely concerned with query-API relevance. This necessitates a focus on enhancing the entire query process, from query definition to query refinement through intent clarifi…
▽ More
Developers' API needs should be more pragmatic, such as seeking suggestive, explainable, and extensible APIs rather than the so-called best result. Existing API search research cannot meet these pragmatic needs because they are solely concerned with query-API relevance. This necessitates a focus on enhancing the entire query process, from query definition to query refinement through intent clarification to query results promoting divergent thinking about results. This paper designs a novel Knowledge-Aware Human-AI Dialog agent (KAHAID) which guides the developer to clarify the uncertain, under-specified query through multi-round question answering and recommends APIs for the clarified query with relevance explanation and extended suggestions (e.g., alternative, collaborating or opposite-function APIs). We systematically evaluate KAHAID. In terms of human-AI dialogue efficiency, it achieves a high diversity of question options and the ability to guide developers to find APIs using fewer dialogue rounds. For API recommendation, KAHAID achieves an MRR and MAP of 0.769 and 0.794, outperforming state-of-the-art methods BIKER and CLEAR by at least 47% in MRR and 226.7% in MAP. For knowledge extension, KAHAID obtains an MRR and MAP of 0.815 and 0.864, surpassing ZaCQ by at least 42% in MRR and 45.2\% in MAP. Furthermore, we conduct a user study. It shows that explainable API recommendations, as implemented by KAHAID, can help developers identify the best API approach more easily or confidently, improving inspiration of clarification question options by at least 20.83% and the extensibility of extended APIs by at least 12.5%.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
SeeHow: Workflow Extraction from Programming Screencasts through Action-Aware Video Analytics
Authors:
Dehai Zhao,
Zhenchang Xing,
Xin Xia,
Deheng Ye,
Xiwei Xu,
Liming Zhu
Abstract:
Programming screencasts (e.g., video tutorials on Youtube or live coding stream on Twitch) are important knowledge source for developers to learn programming knowledge, especially the workflow of completing a programming task. Nonetheless, the image nature of programming screencasts limits the accessibility of screencast content and the workflow embedded in it, resulting in a gap to access and int…
▽ More
Programming screencasts (e.g., video tutorials on Youtube or live coding stream on Twitch) are important knowledge source for developers to learn programming knowledge, especially the workflow of completing a programming task. Nonetheless, the image nature of programming screencasts limits the accessibility of screencast content and the workflow embedded in it, resulting in a gap to access and interact with the content and workflow in programming screencasts. Existing non-intrusive methods are limited to extract either primitive human-computer interaction (HCI) actions or coarse-grained video fragments.In this work, we leverage Computer Vision (CV) techniques to build a programming screencast analysis tool which can automatically extract code-line editing steps (enter text, delete text, edit text and select text) from screencasts.Given a programming screencast, our approach outputs a sequence of coding steps and code snippets involved in each step, which we refer to as programming workflow. The proposed method is evaluated on 41 hours of tutorial videos and live coding screencasts with diverse programming environments.The results demonstrate our tool can extract code-line editing steps accurately and the extracted workflow steps can be intuitively understood by developers.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
On the Way to SBOMs: Investigating Design Issues and Solutions in Practice
Authors:
Tingting Bi,
Boming Xia,
Zhenchang Xing,
Qinghua Lu,
Liming Zhu
Abstract:
The Software Bill of Materials (SBOM) has emerged as a promising solution, providing a machine-readable inventory of software components used, thus bolstering supply chain security. This paper presents an extensive study concerning the practical aspects of SBOM practice. Leveraging an analysis of 4,786 GitHub discussions from 510 SBOM-related projects, our research delineates key topics, challenge…
▽ More
The Software Bill of Materials (SBOM) has emerged as a promising solution, providing a machine-readable inventory of software components used, thus bolstering supply chain security. This paper presents an extensive study concerning the practical aspects of SBOM practice. Leveraging an analysis of 4,786 GitHub discussions from 510 SBOM-related projects, our research delineates key topics, challenges, and solutions intrinsic to the effective utilization of SBOMs. Furthermore, we shed light on commonly used tools and frameworks for generating SBOMs, exploring their respective strengths and limitations. Our findings underscore the pivotal role SBOMs play in ensuring resilient software development practices and underscore the imperative of their widespread integration to bolster supply chain security. The insights accrued from our study hold significance as valuable input for prospective research and development in this crucial domain.
△ Less
Submitted 30 August, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
A Reference Architecture for Designing Foundation Model based Systems
Authors:
Qinghua Lu,
Liming Zhu,
Xiwei Xu,
Zhenchang Xing,
Jon Whittle
Abstract:
The release of ChatGPT, Gemini, and other large language model has drawn huge interests on foundations models. There is a broad consensus that foundations models will be the fundamental building blocks for future AI systems. However, there is a lack of systematic guidance on the architecture design. Particularly, the the rapidly growing capabilities of foundations models can eventually absorb othe…
▽ More
The release of ChatGPT, Gemini, and other large language model has drawn huge interests on foundations models. There is a broad consensus that foundations models will be the fundamental building blocks for future AI systems. However, there is a lack of systematic guidance on the architecture design. Particularly, the the rapidly growing capabilities of foundations models can eventually absorb other components of AI systems, posing challenges of moving boundary and interface evolution in architecture design. Furthermore, incorporating foundations models into AI systems raises significant concerns about responsible and safe AI due to their opaque nature and rapidly advancing intelligence. To address these challenges, the paper first presents an architecture evolution of AI systems in the era of foundation models, transitioning from "foundation-model-as-a-connector" to "foundation-model-as-a-monolithic architecture". The paper then identifies key design decisions and proposes a pattern-oriented reference architecture for designing responsible foundation-model-based systems. The patterns can enable the potential of foundation models while ensuring associated risks.
△ Less
Submitted 16 July, 2024; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Zero-Knowledge Proof-based Practical Federated Learning on Blockchain
Authors:
Zhibo Xing,
Zijian Zhang,
Meng Li,
Jiamou Liu,
Liehuang Zhu,
Giovanni Russello,
Muhammad Rizwan Asghar
Abstract:
Since the concern of privacy leakage extremely discourages user participation in sharing data, federated learning has gradually become a promising technique for both academia and industry for achieving collaborative learning without leaking information about the local data. Unfortunately, most federated learning solutions cannot efficiently verify the execution of each participant's local machine…
▽ More
Since the concern of privacy leakage extremely discourages user participation in sharing data, federated learning has gradually become a promising technique for both academia and industry for achieving collaborative learning without leaking information about the local data. Unfortunately, most federated learning solutions cannot efficiently verify the execution of each participant's local machine learning model and protect the privacy of user data, simultaneously. In this article, we first propose a Zero-Knowledge Proof-based Federated Learning (ZKP-FL) scheme on blockchain. It leverages zero-knowledge proof for both the computation of local data and the aggregation of local model parameters, aiming to verify the computation process without requiring the plaintext of the local data. We further propose a Practical ZKP-FL (PZKP-FL) scheme to support fraction and non-linear operations. Specifically, we explore a Fraction-Integer mapping function, and use Taylor expansion to efficiently handle non-linear operations while maintaining the accuracy of the federated learning model. We also analyze the security of PZKP-FL. Performance analysis demonstrates that the whole running time of the PZKP-FL scheme is approximately less than one minute in parallel execution.
△ Less
Submitted 24 April, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Investigating the Design Considerations for Integrating Text-to-Image Generative AI within Augmented Reality Environments
Authors:
Yongquan Hu,
Dawen Zhang,
Mingyue Yuan,
Kaiqi Xian,
Don Samitha Elvitigala,
June Kim,
Gelareh Mohammadi,
Zhenchang Xing,
Xiwei Xu,
Aaron Quigley
Abstract:
Generative Artificial Intelligence (GenAI) has emerged as a fundamental component of intelligent interactive systems, enabling the automatic generation of multimodal media content. The continuous enhancement in the quality of Artificial Intelligence-Generated Content (AIGC), including but not limited to images and text, is forging new paradigms for its application, particularly within the domain o…
▽ More
Generative Artificial Intelligence (GenAI) has emerged as a fundamental component of intelligent interactive systems, enabling the automatic generation of multimodal media content. The continuous enhancement in the quality of Artificial Intelligence-Generated Content (AIGC), including but not limited to images and text, is forging new paradigms for its application, particularly within the domain of Augmented Reality (AR). Nevertheless, the application of GenAI within the AR design process remains opaque. This paper aims to articulate a design space encapsulating a series of criteria and a prototypical process to aid practitioners in assessing the aptness of adopting pertinent technologies. The proposed model has been formulated based on a synthesis of design insights garnered from ten experts, obtained through focus group interviews. Leveraging these initial insights, we delineate potential applications of GenAI in AR.
△ Less
Submitted 22 July, 2024; v1 submitted 29 March, 2023;
originally announced March 2023.
-
STCF Conceptual Design Report: Volume 1 -- Physics & Detector
Authors:
M. Achasov,
X. C. Ai,
R. Aliberti,
L. P. An,
Q. An,
X. Z. Bai,
Y. Bai,
O. Bakina,
A. Barnyakov,
V. Blinov,
V. Bobrovnikov,
D. Bodrov,
A. Bogomyagkov,
A. Bondar,
I. Boyko,
Z. H. Bu,
F. M. Cai,
H. Cai,
J. J. Cao,
Q. H. Cao,
Z. Cao,
Q. Chang,
K. T. Chao,
D. Y. Chen,
H. Chen
, et al. (413 additional authors not shown)
Abstract:
The Super $τ$-Charm facility (STCF) is an electron-positron collider proposed by the Chinese particle physics community. It is designed to operate in a center-of-mass energy range from 2 to 7 GeV with a peak luminosity of $0.5\times 10^{35}{\rm cm}^{-2}{\rm s}^{-1}$ or higher. The STCF will produce a data sample about a factor of 100 larger than that by the present $τ$-Charm factory -- the BEPCII,…
▽ More
The Super $τ$-Charm facility (STCF) is an electron-positron collider proposed by the Chinese particle physics community. It is designed to operate in a center-of-mass energy range from 2 to 7 GeV with a peak luminosity of $0.5\times 10^{35}{\rm cm}^{-2}{\rm s}^{-1}$ or higher. The STCF will produce a data sample about a factor of 100 larger than that by the present $τ$-Charm factory -- the BEPCII, providing a unique platform for exploring the asymmetry of matter-antimatter (charge-parity violation), in-depth studies of the internal structure of hadrons and the nature of non-perturbative strong interactions, as well as searching for exotic hadrons and physics beyond the Standard Model. The STCF project in China is under development with an extensive R\&D program. This document presents the physics opportunities at the STCF, describes conceptual designs of the STCF detector system, and discusses future plans for detector R\&D and physics case studies.
△ Less
Submitted 5 October, 2023; v1 submitted 28 March, 2023;
originally announced March 2023.
-
HybridMIM: A Hybrid Masked Image Modeling Framework for 3D Medical Image Segmentation
Authors:
Zhaohu Xing,
Lei Zhu,
Lequan Yu,
Zhiheng Xing,
Liang Wan
Abstract:
Masked image modeling (MIM) with transformer backbones has recently been exploited as a powerful self-supervised pre-training technique. The existing MIM methods adopt the strategy to mask random patches of the image and reconstruct the missing pixels, which only considers semantic information at a lower level, and causes a long pre-training time.This paper presents HybridMIM, a novel hybrid self-…
▽ More
Masked image modeling (MIM) with transformer backbones has recently been exploited as a powerful self-supervised pre-training technique. The existing MIM methods adopt the strategy to mask random patches of the image and reconstruct the missing pixels, which only considers semantic information at a lower level, and causes a long pre-training time.This paper presents HybridMIM, a novel hybrid self-supervised learning method based on masked image modeling for 3D medical image segmentation.Specifically, we design a two-level masking hierarchy to specify which and how patches in sub-volumes are masked, effectively providing the constraints of higher level semantic information. Then we learn the semantic information of medical images at three levels, including:1) partial region prediction to reconstruct key contents of the 3D image, which largely reduces the pre-training time burden (pixel-level); 2) patch-masking perception to learn the spatial relationship between the patches in each sub-volume (region-level).and 3) drop-out-based contrastive learning between samples within a mini-batch, which further improves the generalization ability of the framework (sample-level). The proposed framework is versatile to support both CNN and transformer as encoder backbones, and also enables to pre-train decoders for image segmentation. We conduct comprehensive experiments on four widely-used public medical image segmentation datasets, including BraTS2020, BTCV, MSD Liver, and MSD Spleen. The experimental results show the clear superiority of HybridMIM against competing supervised methods, masked pre-training approaches, and other self-supervised methods, in terms of quantitative metrics, timing performance and qualitative observations. The codes of HybridMIM are available at https://github.com/ge-xing/HybridMIM
△ Less
Submitted 18 March, 2023;
originally announced March 2023.
-
Diff-UNet: A Diffusion Embedded Network for Volumetric Segmentation
Authors:
Zhaohu Xing,
Liang Wan,
Huazhu Fu,
Guang Yang,
Lei Zhu
Abstract:
In recent years, Denoising Diffusion Models have demonstrated remarkable success in generating semantically valuable pixel-wise representations for image generative modeling. In this study, we propose a novel end-to-end framework, called Diff-UNet, for medical volumetric segmentation. Our approach integrates the diffusion model into a standard U-shaped architecture to extract semantic information…
▽ More
In recent years, Denoising Diffusion Models have demonstrated remarkable success in generating semantically valuable pixel-wise representations for image generative modeling. In this study, we propose a novel end-to-end framework, called Diff-UNet, for medical volumetric segmentation. Our approach integrates the diffusion model into a standard U-shaped architecture to extract semantic information from the input volume effectively, resulting in excellent pixel-level representations for medical volumetric segmentation. To enhance the robustness of the diffusion model's prediction results, we also introduce a Step-Uncertainty based Fusion (SUF) module during inference to combine the outputs of the diffusion models at each step. We evaluate our method on three datasets, including multimodal brain tumors in MRI, liver tumors, and multi-organ CT volumes, and demonstrate that Diff-UNet outperforms other state-of-the-art methods significantly. Our experimental results also indicate the universality and effectiveness of the proposed model. The proposed framework has the potential to facilitate the accurate diagnosis and treatment of medical conditions by enabling more precise segmentation of anatomical structures. The codes of Diff-UNet are available at https://github.com/ge-xing/Diff-UNet
△ Less
Submitted 18 March, 2023;
originally announced March 2023.
-
What Do Users Ask in Open-Source AI Repositories? An Empirical Study of GitHub Issues
Authors:
Zhou Yang,
Chenyu Wang,
Jieke Shi,
Thong Hoang,
Pavneet Kochhar,
Qinghua Lu,
Zhenchang Xing,
David Lo
Abstract:
Artificial Intelligence systems, which benefit from the availability of large-scale datasets and increasing computational power, have become effective solutions to various critical tasks, such as natural language understanding, speech recognition, and image processing. The advancement of these AI systems is inseparable from open-source software (OSS). This paper presents an empirical study that in…
▽ More
Artificial Intelligence systems, which benefit from the availability of large-scale datasets and increasing computational power, have become effective solutions to various critical tasks, such as natural language understanding, speech recognition, and image processing. The advancement of these AI systems is inseparable from open-source software (OSS). This paper presents an empirical study that investigates the issues in the repositories of open-source AI repositories to assist developers in understanding problems during the process of employing AI systems. We collect 576 repositories from the PapersWithCode platform. Among these repositories, we find 24,953 issues by utilizing GitHub REST APIs. Our empirical study includes three phases. First, we manually analyze these issues to categorize the problems that developers are likely to encounter in open-source AI repositories. Specifically, we provide a taxonomy of 13 categories related to AI systems. The two most common issues are runtime errors (23.18%) and unclear instructions (19.53%). Second, we see that 67.5% of issues are closed. We also find that half of these issues resolve within four days. Moreover, issue management features, e.g., label and assign, are not widely adopted in open-source AI repositories. In particular, only 7.81% and 5.9% of repositories label issues and assign these issues to assignees, respectively. Finally, we empirically show that employing GitHub issue management features and writing issues with detailed descriptions facilitate the resolution of issues. Based on our findings, we make recommendations for developers to help better manage the issues of open-source AI repositories and improve their quality.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
A Novel Scholar Embedding Model for Interdisciplinary Collaboration
Authors:
Yitong Hu,
Zixuan Zhu,
Yizhe Wang,
Junxiang Wang,
Zehao Xing
Abstract:
Interdisciplinary collaboration has become a driving force for scientific breakthroughs, and evaluating scholars' performance in interdisciplinary researches is essential for promoting such collaborations. However, traditional scholar evaluation methods based solely on individual achievements do not consider interdisciplinary cooperation, creating a challenge for interdisciplinary scholar evaluati…
▽ More
Interdisciplinary collaboration has become a driving force for scientific breakthroughs, and evaluating scholars' performance in interdisciplinary researches is essential for promoting such collaborations. However, traditional scholar evaluation methods based solely on individual achievements do not consider interdisciplinary cooperation, creating a challenge for interdisciplinary scholar evaluation and recommendation. To address this issue, we propose a scholar embedding model that quantifies and represents scholars based on global semantic information and social influence, enabling real-time tracking of scholars' research trends. Our model incorporates semantic information and social influence for interdisciplinary scholar evaluation, laying the foundation for future interdisciplinary collaboration discovery and recommendation projects. We demonstrate the effectiveness of our model on a sample of scholars from the Beijing University of Posts and Telecommunications.
△ Less
Submitted 29 July, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
The JUNO experiment Top Tracker
Authors:
JUNO Collaboration,
Angel Abusleme,
Thomas Adam,
Shakeel Ahmad,
Rizwan Ahmed,
Sebastiano Aiello,
Muhammad Akram,
Abid Aleem,
Tsagkarakis Alexandros,
Fengpeng An,
Qi An,
Giuseppe Andronico,
Nikolay Anfimov,
Vito Antonelli,
Tatiana Antoshkina,
Burin Asavapibhop,
João Pedro Athayde Marcondes de André,
Didier Auguste,
Weidong Bai,
Nikita Balashov,
Wander Baldini,
Andrea Barresi,
Davide Basilico,
Eric Baussan,
Marco Bellato
, et al. (592 additional authors not shown)
Abstract:
The main task of the Top Tracker detector of the neutrino reactor experiment Jiangmen Underground Neutrino Observatory (JUNO) is to reconstruct and extrapolate atmospheric muon tracks down to the central detector. This muon tracker will help to evaluate the contribution of the cosmogenic background to the signal. The Top Tracker is located above JUNO's water Cherenkov Detector and Central Detector…
▽ More
The main task of the Top Tracker detector of the neutrino reactor experiment Jiangmen Underground Neutrino Observatory (JUNO) is to reconstruct and extrapolate atmospheric muon tracks down to the central detector. This muon tracker will help to evaluate the contribution of the cosmogenic background to the signal. The Top Tracker is located above JUNO's water Cherenkov Detector and Central Detector, covering about 60% of the surface above them. The JUNO Top Tracker is constituted by the decommissioned OPERA experiment Target Tracker modules. The technology used consists in walls of two planes of plastic scintillator strips, one per transverse direction. Wavelength shifting fibres collect the light signal emitted by the scintillator strips and guide it to both ends where it is read by multianode photomultiplier tubes. Compared to the OPERA Target Tracker, the JUNO Top Tracker uses new electronics able to cope with the high rate produced by the high rock radioactivity compared to the one in Gran Sasso underground laboratory. This paper will present the new electronics and mechanical structure developed for the Top Tracker of JUNO along with its expected performance based on the current detector simulation.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
JUNO sensitivity to $^7$Be, $pep$, and CNO solar neutrinos
Authors:
Angel Abusleme,
Thomas Adam,
Shakeel Ahmad,
Rizwan Ahmed,
Sebastiano Aiello,
Muhammad Akram,
Abid Aleem,
Tsagkarakis Alexandros,
Fengpeng An,
Qi An,
Giuseppe Andronico,
Nikolay Anfimov,
Vito Antonelli,
Tatiana Antoshkina,
Burin Asavapibhop,
João Pedro Athayde Marcondes de André,
Didier Auguste,
Weidong Bai,
Nikita Balashov,
Wander Baldini,
Andrea Barresi,
Davide Basilico,
Eric Baussan,
Marco Bellato,
Marco Beretta
, et al. (592 additional authors not shown)
Abstract:
The Jiangmen Underground Neutrino Observatory (JUNO), the first multi-kton liquid scintillator detector, which is under construction in China, will have a unique potential to perform a real-time measurement of solar neutrinos well below the few MeV threshold typical for Water Cherenkov detectors. JUNO's large target mass and excellent energy resolution are prerequisites for reaching unprecedented…
▽ More
The Jiangmen Underground Neutrino Observatory (JUNO), the first multi-kton liquid scintillator detector, which is under construction in China, will have a unique potential to perform a real-time measurement of solar neutrinos well below the few MeV threshold typical for Water Cherenkov detectors. JUNO's large target mass and excellent energy resolution are prerequisites for reaching unprecedented levels of precision. In this paper, we provide estimation of the JUNO sensitivity to 7Be, pep, and CNO solar neutrinos that can be obtained via a spectral analysis above the 0.45 MeV threshold. This study is performed assuming different scenarios of the liquid scintillator radiopurity, ranging from the most opti mistic one corresponding to the radiopurity levels obtained by the Borexino experiment, up to the minimum requirements needed to perform the neutrino mass ordering determination with reactor antineutrinos - the main goal of JUNO. Our study shows that in most scenarios, JUNO will be able to improve the current best measurements on 7Be, pep, and CNO solar neutrino fluxes. We also perform a study on the JUNO capability to detect periodical time variations in the solar neutrino flux, such as the day-night modulation induced by neutrino flavor regeneration in Earth, and the modulations induced by temperature changes driven by helioseismic waves.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation
Authors:
Jiamou Sun,
Zhenchang Xing,
Qinghua Lu,
Xiwei Xu,
Liming Zhu,
Thong Hoang,
Dehai Zhao
Abstract:
Due to convenience, open-source software is widely used. For beneficial reasons, open-source maintainers often fix the vulnerabilities silently, exposing their users unaware of the updates to threats. Previous works all focus on black-box binary detection of the silent dependency alerts that suffer from high false-positive rates. Open-source software users need to analyze and explain AI prediction…
▽ More
Due to convenience, open-source software is widely used. For beneficial reasons, open-source maintainers often fix the vulnerabilities silently, exposing their users unaware of the updates to threats. Previous works all focus on black-box binary detection of the silent dependency alerts that suffer from high false-positive rates. Open-source software users need to analyze and explain AI prediction themselves. Explainable AI becomes remarkable as a complementary of black-box AI models, providing details in various forms to explain AI decisions. Noticing there is still no technique that can discover silent dependency alert on time, in this work, we propose a framework using an encoder-decoder model with a binary detector to provide explainable silent dependency alert prediction. Our model generates 4 types of vulnerability key aspects including vulnerability type, root cause, attack vector, and impact to enhance the trustworthiness and users' acceptance to alert prediction. By experiments with several models and inputs, we confirm CodeBERT with both commit messages and code changes achieves the best results. Our user study shows that explainable alert predictions can help users find silent dependency alert more easily than black-box predictions. To the best of our knowledge, this is the first research work on the application of Explainable AI in silent dependency alert prediction, which opens the door of the related domains.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
To Be Forgotten or To Be Fair: Unveiling Fairness Implications of Machine Unlearning Methods
Authors:
Dawen Zhang,
Shidong Pan,
Thong Hoang,
Zhenchang Xing,
Mark Staples,
Xiwei Xu,
Lina Yao,
Qinghua Lu,
Liming Zhu
Abstract:
The right to be forgotten (RTBF) is motivated by the desire of people not to be perpetually disadvantaged by their past deeds. For this, data deletion needs to be deep and permanent, and should be removed from machine learning models. Researchers have proposed machine unlearning algorithms which aim to erase specific data from trained models more efficiently. However, these methods modify how data…
▽ More
The right to be forgotten (RTBF) is motivated by the desire of people not to be perpetually disadvantaged by their past deeds. For this, data deletion needs to be deep and permanent, and should be removed from machine learning models. Researchers have proposed machine unlearning algorithms which aim to erase specific data from trained models more efficiently. However, these methods modify how data is fed into the model and how training is done, which may subsequently compromise AI ethics from the fairness perspective. To help software engineers make responsible decisions when adopting these unlearning methods, we present the first study on machine unlearning methods to reveal their fairness implications. We designed and conducted experiments on two typical machine unlearning methods (SISA and AmnesiacML) along with a retraining method (ORTR) as baseline using three fairness datasets under three different deletion strategies. Experimental results show that under non-uniform data deletion, SISA leads to better fairness compared with ORTR and AmnesiacML, while initial training and uniform data deletion do not necessarily affect the fairness of all three methods. These findings have exposed an important research problem in software engineering, and can help practitioners better understand the potential trade-offs on fairness when considering solutions for RTBF.
△ Less
Submitted 10 January, 2024; v1 submitted 7 February, 2023;
originally announced February 2023.
-
Red teaming ChatGPT via Jailbreaking: Bias, Robustness, Reliability and Toxicity
Authors:
Terry Yue Zhuo,
Yujin Huang,
Chunyang Chen,
Zhenchang Xing
Abstract:
Recent breakthroughs in natural language processing (NLP) have permitted the synthesis and comprehension of coherent text in an open-ended way, therefore translating the theoretical algorithms into practical applications. The large language models (LLMs) have significantly impacted businesses such as report summarization software and copywriters. Observations indicate, however, that LLMs may exhib…
▽ More
Recent breakthroughs in natural language processing (NLP) have permitted the synthesis and comprehension of coherent text in an open-ended way, therefore translating the theoretical algorithms into practical applications. The large language models (LLMs) have significantly impacted businesses such as report summarization software and copywriters. Observations indicate, however, that LLMs may exhibit social prejudice and toxicity, posing ethical and societal dangers of consequences resulting from irresponsibility. Large-scale benchmarks for accountable LLMs should consequently be developed. Although several empirical investigations reveal the existence of a few ethical difficulties in advanced LLMs, there is little systematic examination and user study of the risks and harmful behaviors of current LLM usage. To further educate future efforts on constructing ethical LLMs responsibly, we perform a qualitative research method called ``red teaming'' on OpenAI's ChatGPT\footnote{In this paper, ChatGPT refers to the version released on Dec 15th.} to better understand the practical features of ethical dangers in recent LLMs. We analyze ChatGPT comprehensively from four perspectives: 1) \textit{Bias} 2) \textit{Reliability} 3) \textit{Robustness} 4) \textit{Toxicity}. In accordance with our stated viewpoints, we empirically benchmark ChatGPT on multiple sample datasets. We find that a significant number of ethical risks cannot be addressed by existing benchmarks, and hence illustrate them via additional case studies. In addition, we examine the implications of our findings on AI ethics and harmal behaviors of ChatGPT, as well as future problems and practical design considerations for responsible LLMs. We believe that our findings may give light on future efforts to determine and mitigate the ethical hazards posed by machines in LLM applications.
△ Less
Submitted 29 May, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence
Authors:
Zejun Zhang,
Zhenchang Xing,
Xin Xia,
Xiwei Xu,
Liming Zhu,
Qinghua Lu
Abstract:
The usage of Python idioms is popular among Python developers in a formative study of 101 performance-related questions of Python idioms on Stack Overflow, we find that developers often get confused about the performance impact of Python idioms and use anecdotal toy code or rely on personal project experience which is often contradictory in performance outcomes. There has been no large-scale, syst…
▽ More
The usage of Python idioms is popular among Python developers in a formative study of 101 performance-related questions of Python idioms on Stack Overflow, we find that developers often get confused about the performance impact of Python idioms and use anecdotal toy code or rely on personal project experience which is often contradictory in performance outcomes. There has been no large-scale, systematic empirical evidence to reconcile these performance debates. In the paper, we create a large synthetic dataset with 24,126 pairs of non-idiomatic and functionally-equivalent idiomatic code for the nine unique Python idioms identified in Zhang et al., and reuse a large real-project dataset of 54,879 such code pairs provided by Zhang et al. We develop a reliable performance measurement method to compare the speedup or slowdown by idiomatic code against non-idiomatic counterpart, and analyze the performance discrepancies between the synthetic and real-project code, the relationships between code features and performance changes, and the root causes of performance changes at the bytecode level. We summarize our findings as some actionable suggestions for using Python idioms.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
Towards Concrete and Connected AI Risk Assessment (C$^2$AIRA): A Systematic Mapping Study
Authors:
Boming Xia,
Qinghua Lu,
Harsha Perera,
Liming Zhu,
Zhenchang Xing,
Yue Liu,
Jon Whittle
Abstract:
The rapid development of artificial intelligence (AI) has led to increasing concerns about the capability of AI systems to make decisions and behave responsibly. Responsible AI (RAI) refers to the development and use of AI systems that benefit humans, society, and the environment while minimising the risk of negative consequences. To ensure responsible AI, the risks associated with AI systems' dev…
▽ More
The rapid development of artificial intelligence (AI) has led to increasing concerns about the capability of AI systems to make decisions and behave responsibly. Responsible AI (RAI) refers to the development and use of AI systems that benefit humans, society, and the environment while minimising the risk of negative consequences. To ensure responsible AI, the risks associated with AI systems' development and use must be identified, assessed and mitigated. Various AI risk assessment frameworks have been released recently by governments, organisations, and companies. However, it can be challenging for AI stakeholders to have a clear picture of the available frameworks and determine the most suitable ones for a specific context. Additionally, there is a need to identify areas that require further research or development of new frameworks, as well as updating and maintaining existing ones. To fill the gap, we present a mapping study of 16 existing AI risk assessment frameworks from the industry, governments, and non-government organizations (NGOs). We identify key characteristics of each framework and analyse them in terms of RAI principles, stakeholders, system lifecycle stages, geographical locations, targeted domains, and assessment methods. Our study provides a comprehensive analysis of the current state of the frameworks and highlights areas of convergence and divergence among them. We also identify the deficiencies in existing frameworks and outlines the essential characteristics of a concrete and connected framework AI risk assessment (C$^2$AIRA) framework. Our findings and insights can help relevant stakeholders choose suitable AI risk assessment frameworks and guide the design of future frameworks towards concreteness and connectedness.
△ Less
Submitted 23 May, 2023; v1 submitted 27 January, 2023;
originally announced January 2023.
-
The formal seesaw mechanism of Majorana neutrinos with unbroken gauge symmetry
Authors:
Zhi-zhong Xing
Abstract:
We reformulate the canonical seesaw mechanism in the case that the electroweak gauge symmetry is unbroken, and show that it can "formally" work and allow us to derive an exact seesaw formula for the light and heavy Majorana neutrinos. We elucidate the reason why there is a mismatch between the mass eigenstates of heavy Majorana neutrinos associated with thermal leptogenesis and those associated wi…
▽ More
We reformulate the canonical seesaw mechanism in the case that the electroweak gauge symmetry is unbroken, and show that it can "formally" work and allow us to derive an exact seesaw formula for the light and heavy Majorana neutrinos. We elucidate the reason why there is a mismatch between the mass eigenstates of heavy Majorana neutrinos associated with thermal leptogenesis and those associated with the seesaw framework, and establish the exact and explicit relations between the "original" and "derivational" seesaw parameters by using an Euler-like parametrization of the $6\times 6$ active-sterile flavor mixing matrix.
△ Less
Submitted 1 February, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
GAR: Generalized Autoregression for Multi-Fidelity Fusion
Authors:
Yuxin Wang,
Zheng Xing,
Wei W. Xing
Abstract:
In many scientific research and engineering applications where repeated simulations of complex systems are conducted, a surrogate is commonly adopted to quickly estimate the whole system. To reduce the expensive cost of generating training examples, it has become a promising approach to combine the results of low-fidelity (fast but inaccurate) and high-fidelity (slow but accurate) simulations. Des…
▽ More
In many scientific research and engineering applications where repeated simulations of complex systems are conducted, a surrogate is commonly adopted to quickly estimate the whole system. To reduce the expensive cost of generating training examples, it has become a promising approach to combine the results of low-fidelity (fast but inaccurate) and high-fidelity (slow but accurate) simulations. Despite the fast developments of multi-fidelity fusion techniques, most existing methods require particular data structures and do not scale well to high-dimensional output. To resolve these issues, we generalize the classic autoregression (AR), which is wildly used due to its simplicity, robustness, accuracy, and tractability, and propose generalized autoregression (GAR) using tensor formulation and latent features. GAR can deal with arbitrary dimensional outputs and arbitrary multifidelity data structure to satisfy the demand of multi-fidelity fusion for complex problems; it admits a fully tractable likelihood and posterior requiring no approximate inference and scales well to high-dimensional problems. Furthermore, we prove the autokrigeability theorem based on GAR in the multi-fidelity case and develop CIGAR, a simplified GAR with the exact predictive mean accuracy with computation reduction by a factor of d 3, where d is the dimensionality of the output. The empirical assessment includes many canonical PDEs and real scientific examples and demonstrates that the proposed method consistently outperforms the SOTA methods with a large margin (up to 6x improvement in RMSE) with only a couple high-fidelity training samples.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
An Empirical Study on Software Bill of Materials: Where We Stand and the Road Ahead
Authors:
Boming Xia,
Tingting Bi,
Zhenchang Xing,
Qinghua Lu,
Liming Zhu
Abstract:
The rapid growth of software supply chain attacks has attracted considerable attention to software bill of materials (SBOM). SBOMs are a crucial building block to ensure the transparency of software supply chains that helps improve software supply chain security. Although there are significant efforts from academia and industry to facilitate SBOM development, it is still unclear how practitioners…
▽ More
The rapid growth of software supply chain attacks has attracted considerable attention to software bill of materials (SBOM). SBOMs are a crucial building block to ensure the transparency of software supply chains that helps improve software supply chain security. Although there are significant efforts from academia and industry to facilitate SBOM development, it is still unclear how practitioners perceive SBOMs and what are the challenges of adopting SBOMs in practice. Furthermore, existing SBOM-related studies tend to be ad-hoc and lack software engineering focuses. To bridge this gap, we conducted the first empirical study to interview and survey SBOM practitioners. We applied a mixed qualitative and quantitative method for gathering data from 17 interviewees and 65 survey respondents from 15 countries across five continents to understand how practitioners perceive the SBOM field. We summarized 26 statements and grouped them into three topics on SBOM's states of practice. Based on the study results, we derived a goal model and highlighted future directions where practitioners can put in their effort.
△ Less
Submitted 7 February, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
API Entity and Relation Joint Extraction from Text via Dynamic Prompt-tuned Language Model
Authors:
Qing Huang,
Yanbang Sun,
Zhenchang Xing,
Min Yu,
Xiwei Xu,
Qinghua Lu
Abstract:
Extraction of Application Programming Interfaces (APIs) and their semantic relations from unstructured text (e.g., Stack Overflow) is a fundamental work for software engineering tasks (e.g., API recommendation). However, existing approaches are rule-based and sequence-labeling based. They must manually enumerate the rules or label data for a wide range of sentence patterns, which involves a signif…
▽ More
Extraction of Application Programming Interfaces (APIs) and their semantic relations from unstructured text (e.g., Stack Overflow) is a fundamental work for software engineering tasks (e.g., API recommendation). However, existing approaches are rule-based and sequence-labeling based. They must manually enumerate the rules or label data for a wide range of sentence patterns, which involves a significant amount of labor overhead and is exacerbated by morphological and common-word ambiguity. In contrast to matching or labeling API entities and relations, this paper formulates heterogeneous API extraction and API relation extraction task as a sequence-to-sequence generation task, and proposes AERJE, an API entity-relation joint extraction model based on the large pre-trained language model. After training on a small number of ambiguous but correctly labeled data, AERJE builds a multi-task architecture that extracts API entities and relations from unstructured text using dynamic prompts. We systematically evaluate AERJE on a set of long and ambiguous sentences from Stack Overflow. The experimental results show that AERJE achieves high accuracy and discrimination ability in API entity-relation joint extraction, even with zero or few-shot fine-tuning.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
A fresh look at the generalized parton distributions of light pseudoscalar mesons
Authors:
Zanbin Xing,
Minghui Ding,
Khépani Raya,
Lei Chang
Abstract:
We present a symmetry-preserving scheme to derive the pion and kaon generalized parton distributions (GPDs) in Euclidean space. The key to maintaining crucial symmetries under this approach is the treatment of the scattering amplitude, such that it contains both the traditional leading-order contributions and the scalar/vector pole contribution automatically, the latter being necessary to ensure t…
▽ More
We present a symmetry-preserving scheme to derive the pion and kaon generalized parton distributions (GPDs) in Euclidean space. The key to maintaining crucial symmetries under this approach is the treatment of the scattering amplitude, such that it contains both the traditional leading-order contributions and the scalar/vector pole contribution automatically, the latter being necessary to ensure the soft-pion theorem. The GPD is extracted analytically via the uniqueness and definition of the Mellin moments and we find that it naturally matches the double distribution; consequently, the polynomiality condition and sum rules are satisfied. The present scheme thus paves the way for the extraction of the GPD in Euclidean space using the Dyson-Schwinger equation framework or similar continuum approaches.
△ Less
Submitted 25 January, 2023; v1 submitted 7 January, 2023;
originally announced January 2023.
-
Towards Benchmarking GUI Compatibility Testing on Mobile Applications
Authors:
Jiaming Ye,
Mulong Xie,
Siyuan Chen,
Fuyuan Zhang,
Lei Ma,
Zhenchang Xing,
Jianjun Zhao
Abstract:
GUI is a bridge connecting user and application. Existing GUI testing tasks can be categorized into two groups: functionality testing and compatibility testing. While the functionality testing focuses on detecting application runtime bugs, the compatibility testing aims at detecting bugs resulting from device or platform difference. To automate testing procedures and improve testing efficiency, pr…
▽ More
GUI is a bridge connecting user and application. Existing GUI testing tasks can be categorized into two groups: functionality testing and compatibility testing. While the functionality testing focuses on detecting application runtime bugs, the compatibility testing aims at detecting bugs resulting from device or platform difference. To automate testing procedures and improve testing efficiency, previous works have proposed dozens of tools. To evaluate these tools, in functionality testing, researchers have published testing benchmarks. Comparatively, in compatibility testing, the question of ``Do existing methods indeed effectively assist test cases replay?'' is not well answered. To answer this question and advance the related research in GUI compatibility testing, we propose a benchmark of GUI compatibility testing. In our experiments, we compare the replay success rate of existing tools. Based on the experimental results, we summarize causes which may lead to ineffectiveness in test case replay and propose opportunities for improving the state-of-the-art.
△ Less
Submitted 27 December, 2022;
originally announced December 2022.
-
The formation of $30\,M_\odot$ merging black holes at solar metallicity
Authors:
Simone S. Bavera,
Tassos Fragos,
Emmanouil Zapartas,
Jeff J. Andrews,
Vicky Kalogera,
Christopher P. L. Berry,
Matthias Kruckow,
Aaron Dotter,
Konstantinos Kovlakas,
Devina Misra,
Kyle A. Rocha,
Philipp M. Srivastava,
Meng Sun,
Zepei Xing
Abstract:
The maximum mass of black holes formed in isolated binaries is determined by stellar winds and the interactions between the binary components. We consider for the first time fully self-consistent detailed stellar structure and binary evolution calculations in population-synthesis models and a new, qualitatively different picture emerges for the formation of black-hole binaries, compared to studies…
▽ More
The maximum mass of black holes formed in isolated binaries is determined by stellar winds and the interactions between the binary components. We consider for the first time fully self-consistent detailed stellar structure and binary evolution calculations in population-synthesis models and a new, qualitatively different picture emerges for the formation of black-hole binaries, compared to studies employing rapid population synthesis models. We find merging binary black holes can form with a non-negligible rate ($\sim 4\times10^{-7}\,M_\odot^{-1}$) at solar metallicity. Their progenitor stars with initial masses $\gtrsim 50\,M_\odot$ do not expand to supergiant radii, mostly avoiding significant dust-driven or luminous blue variable winds. Overall, the progenitor stars lose less mass in stellar winds, resulting in black holes as massive as $\sim 30\,M_\odot$, and, approximately half of them avoid a mass-transfer episode before forming the first-born black hole. Finally, binaries with initial periods of a few days, some of which may undergo episodes of Roche-lobe overflow mass transfer, result in mildly spinning first-born black holes, $χ_\mathrm{BH1} \lesssim 0.2$, assuming efficient angular-momentum transport.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
A novel method for searching the $Ξ_c^{0/+}$-$Ξ_c^{\prime 0/+}$ mixing effect in the angular distribution analysis of a four-body $Ξ_c^{0/+}$ decay
Authors:
Zhi Peng Xing,
Yu ji Shi
Abstract:
In this work, we raised a novel method for searching the $Ξ^{0+}_c$-$Ξ_c^{0+\prime}$ mixing effect in an angular distribution analysis of the $Ξ_c\toΞ^{(\prime)}(Λπ)\ell^+ν$ decay, where the mixing effect can be observed by the appearance of the $Ξ^{\prime}$ resonant. Armed with this angular distribution, the decay branching fraction and the forward-backward asymmetry are predicted. We pointed out…
▽ More
In this work, we raised a novel method for searching the $Ξ^{0+}_c$-$Ξ_c^{0+\prime}$ mixing effect in an angular distribution analysis of the $Ξ_c\toΞ^{(\prime)}(Λπ)\ell^+ν$ decay, where the mixing effect can be observed by the appearance of the $Ξ^{\prime}$ resonant. Armed with this angular distribution, the decay branching fraction and the forward-backward asymmetry are predicted. We pointed out that the forward-backward asymmetry, as a function of the invariant mass square of $Ξ^{(\prime)}$ and the $Ξ^{0+}_c$-$Ξ_c^{0+\prime}$ mixing angle $θ_c$, can be used to distinguish the two resonants $Ξ^{(\prime)}$ and even provide a possibility to determine the exact mixing angle.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
JUNO Sensitivity on Proton Decay $p\to \barνK^+$ Searches
Authors:
JUNO Collaboration,
Angel Abusleme,
Thomas Adam,
Shakeel Ahmad,
Rizwan Ahmed,
Sebastiano Aiello,
Muhammad Akram,
Fengpeng An,
Qi An,
Giuseppe Andronico,
Nikolay Anfimov,
Vito Antonelli,
Tatiana Antoshkina,
Burin Asavapibhop,
João Pedro Athayde Marcondes de André,
Didier Auguste,
Nikita Balashov,
Wander Baldini,
Andrea Barresi,
Davide Basilico,
Eric Baussan,
Marco Bellato,
Antonio Bergnoli,
Thilo Birkenfeld,
Sylvie Blin
, et al. (586 additional authors not shown)
Abstract:
The Jiangmen Underground Neutrino Observatory (JUNO) is a large liquid scintillator detector designed to explore many topics in fundamental physics. In this paper, the potential on searching for proton decay in $p\to \barνK^+$ mode with JUNO is investigated.The kaon and its decay particles feature a clear three-fold coincidence signature that results in a high efficiency for identification. Moreov…
▽ More
The Jiangmen Underground Neutrino Observatory (JUNO) is a large liquid scintillator detector designed to explore many topics in fundamental physics. In this paper, the potential on searching for proton decay in $p\to \barνK^+$ mode with JUNO is investigated.The kaon and its decay particles feature a clear three-fold coincidence signature that results in a high efficiency for identification. Moreover, the excellent energy resolution of JUNO permits to suppress the sizable background caused by other delayed signals. Based on these advantages, the detection efficiency for the proton decay via $p\to \barνK^+$ is 36.9% with a background level of 0.2 events after 10 years of data taking. The estimated sensitivity based on 200 kton-years exposure is $9.6 \times 10^{33}$ years, competitive with the current best limits on the proton lifetime in this channel.
△ Less
Submitted 26 October, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
SE Factual Knowledge in Frozen Giant Code Model: A Study on FQN and its Retrieval
Authors:
Qing Huang,
Dianshu Liao,
Zhenchang Xing,
Zhiqiang Yuan,
Qinghua Lu,
Xiwei Xu,
Jiaxing Lu
Abstract:
Pre-trained giant code models (PCMs) start coming into the developers' daily practices. Understanding what types of and how much software knowledge is packed into PCMs is the foundation for incorporating PCMs into software engineering (SE) tasks and fully releasing their potential. In this work, we conduct the first systematic study on the SE factual knowledge in the state-of-the-art PCM CoPilot,…
▽ More
Pre-trained giant code models (PCMs) start coming into the developers' daily practices. Understanding what types of and how much software knowledge is packed into PCMs is the foundation for incorporating PCMs into software engineering (SE) tasks and fully releasing their potential. In this work, we conduct the first systematic study on the SE factual knowledge in the state-of-the-art PCM CoPilot, focusing on APIs' Fully Qualified Names (FQNs), the fundamental knowledge for effective code analysis, search and reuse. Driven by FQNs' data distribution properties, we design a novel lightweight in-context learning on Copilot for FQN inference, which does not require code compilation as traditional methods or gradient update by recent FQN prompt-tuning. We systematically experiment with five in-context-learning design factors to identify the best in-context learning configuration that developers can adopt in practice. With this best configuration, we investigate the effects of amount of example prompts and FQN data properties on Copilot's FQN inference capability. Our results confirm that Copilot stores diverse FQN knowledge and can be applied for the FQN inference due to its high inference accuracy and non-reliance on code analysis. Based on our experience interacting with Copilot, we discuss various opportunities to improve human-CoPilot interaction in the FQN inference task.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Weak radiative decay $Λ_{c}^{+}\toΣ^{+}γ$ using light-cone sum rules
Authors:
Yu-Ji Shi,
Zhi-Peng Xing,
Ulf-G. Meißner
Abstract:
We calculate the decay width of the $Λ_{c}^{+}\toΣ^{+}γ$ using light-cone sum rules. For the initial quark radiation an effective Hamiltonian is constructed, where the internal quark line shrinks to a point. The final quark radiation is studied within the full theory. The leading twist light-cone distribution amplitudes of the $Σ^+$ serve as the non-perturbative input for the sum rules calculation…
▽ More
We calculate the decay width of the $Λ_{c}^{+}\toΣ^{+}γ$ using light-cone sum rules. For the initial quark radiation an effective Hamiltonian is constructed, where the internal quark line shrinks to a point. The final quark radiation is studied within the full theory. The leading twist light-cone distribution amplitudes of the $Σ^+$ serve as the non-perturbative input for the sum rules calculation, and the perturbative kernel is calculated at leading order. The branching fraction we obtain is ${\cal B}(Λ_{c}^{+}\toΣ^{+}γ)=1.03\pm 0.36 \times 10^{-4}$, which is below the recent upper limit $<2.6 \times 10^{-4}$ given by the Belle collaboration.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
Compressing Cross-Lingual Multi-Task Models at Qualtrics
Authors:
Daniel Campos,
Daniel Perry,
Samir Joshi,
Yashmeet Gambhir,
Wei Du,
Zhengzheng Xing,
Aaron Colak
Abstract:
Experience management is an emerging business area where organizations focus on understanding the feedback of customers and employees in order to improve their end-to-end experiences. This results in a unique set of machine learning problems to help understand how people feel, discover issues they care about, and find which actions need to be taken on data that are different in content and distrib…
▽ More
Experience management is an emerging business area where organizations focus on understanding the feedback of customers and employees in order to improve their end-to-end experiences. This results in a unique set of machine learning problems to help understand how people feel, discover issues they care about, and find which actions need to be taken on data that are different in content and distribution from traditional NLP domains. In this paper, we present a case study of building text analysis applications that perform multiple classification tasks efficiently in 12 languages in the nascent business area of experience management. In order to scale up modern ML methods on experience data, we leverage cross lingual and multi-task modeling techniques to consolidate our models into a single deployment to avoid overhead. We also make use of model compression and model distillation to reduce overall inference latency and hardware cost to the level acceptable for business needs while maintaining model prediction quality. Our findings show that multi-task modeling improves task performance for a subset of experience management tasks in both XLM-R and mBert architectures. Among the compressed architectures we explored, we found that MiniLM achieved the best compression/performance tradeoff. Our case study demonstrates a speedup of up to 15.61x with 2.60% average task degradation (or 3.29x speedup with 1.71% degradation) and estimated savings of 44% over using the original full-size model. These results demonstrate a successful scaling up of text classification for the challenging new area of ML for experience management.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Precision measurement of reactor antineutrino oscillation at kilometer-scale baselines by Daya Bay
Authors:
Daya Bay collaboration,
F. P. An,
W. D. Bai,
A. B. Balantekin,
M. Bishai,
S. Blyth,
G. F. Cao,
J. Cao,
J. F. Chang,
Y. Chang,
H. S. Chen,
H. Y. Chen,
S. M. Chen,
Y. Chen,
Y. X. Chen,
Z. Y. Chen,
J. Cheng,
Z. K. Cheng,
J. J. Cherwinka,
M. C. Chu,
J. P. Cummings,
O. Dalager,
F. S. Deng,
Y. Y. Ding,
X. Y. Ding
, et al. (176 additional authors not shown)
Abstract:
We present a new determination of the smallest neutrino mixing angle $θ_{13}$ and the mass-squared difference $Δ{\rm m}^{2}_{32}$ using a final sample of $5.55 \times 10^{6}$ inverse beta-decay (IBD) candidates with the final-state neutron captured on gadolinium. This sample was selected from the complete data set obtained by the Daya Bay reactor neutrino experiment in 3158 days of operation. Comp…
▽ More
We present a new determination of the smallest neutrino mixing angle $θ_{13}$ and the mass-squared difference $Δ{\rm m}^{2}_{32}$ using a final sample of $5.55 \times 10^{6}$ inverse beta-decay (IBD) candidates with the final-state neutron captured on gadolinium. This sample was selected from the complete data set obtained by the Daya Bay reactor neutrino experiment in 3158 days of operation. Compared to the previous Daya Bay results, selection of IBD candidates has been optimized, energy calibration refined, and treatment of backgrounds further improved. The resulting oscillation parameters are ${\rm sin}^{2}2θ_{13} = 0.0851 \pm 0.0024$, $Δ{\rm m}^{2}_{32} = (2.466 \pm 0.060) \times 10^{-3}{\rm eV}^{2}$ for the normal mass ordering or $Δ{\rm m}^{2}_{32} = -(2.571 \pm 0.060) \times 10^{-3} {\rm eV}^{2}$ for the inverted mass ordering.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
SVFormer: Semi-supervised Video Transformer for Action Recognition
Authors:
Zhen Xing,
Qi Dai,
Han Hu,
Jingjing Chen,
Zuxuan Wu,
Yu-Gang Jiang
Abstract:
Semi-supervised action recognition is a challenging but critical task due to the high cost of video annotations. Existing approaches mainly use convolutional neural networks, yet current revolutionary vision transformer models have been less explored. In this paper, we investigate the use of transformer models under the SSL setting for action recognition. To this end, we introduce SVFormer, which…
▽ More
Semi-supervised action recognition is a challenging but critical task due to the high cost of video annotations. Existing approaches mainly use convolutional neural networks, yet current revolutionary vision transformer models have been less explored. In this paper, we investigate the use of transformer models under the SSL setting for action recognition. To this end, we introduce SVFormer, which adopts a steady pseudo-labeling framework (ie, EMA-Teacher) to cope with unlabeled video samples. While a wide range of data augmentations have been shown effective for semi-supervised image classification, they generally produce limited results for video recognition. We therefore introduce a novel augmentation strategy, Tube TokenMix, tailored for video data where video clips are mixed via a mask with consistent masked tokens over the temporal axis. In addition, we propose a temporal warping augmentation to cover the complex temporal variation in videos, which stretches selected frames to various temporal durations in the clip. Extensive experiments on three datasets Kinetics-400, UCF-101, and HMDB-51 verify the advantage of SVFormer. In particular, SVFormer outperforms the state-of-the-art by 31.5% with fewer training epochs under the 1% labeling rate of Kinetics-400. Our method can hopefully serve as a strong benchmark and encourage future search on semi-supervised action recognition with Transformer networks.
△ Less
Submitted 6 April, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Video Instance Shadow Detection
Authors:
Zhenghao Xing,
Tianyu Wang,
Xiaowei Hu,
Haoran Wu,
Chi-Wing Fu,
Pheng-Ann Heng
Abstract:
Instance shadow detection, crucial for applications such as photo editing and light direction estimation, has undergone significant advancements in predicting shadow instances, object instances, and their associations. The extension of this task to videos presents challenges in annotating diverse video data and addressing complexities arising from occlusion and temporary disappearances within asso…
▽ More
Instance shadow detection, crucial for applications such as photo editing and light direction estimation, has undergone significant advancements in predicting shadow instances, object instances, and their associations. The extension of this task to videos presents challenges in annotating diverse video data and addressing complexities arising from occlusion and temporary disappearances within associations. In response to these challenges, we introduce ViShadow, a semi-supervised video instance shadow detection framework that leverages both labeled image data and unlabeled video data for training. ViShadow features a two-stage training pipeline: the first stage, utilizing labeled image data, identifies shadow and object instances through contrastive learning for cross-frame pairing. The second stage employs unlabeled videos, incorporating an associated cycle consistency loss to enhance tracking ability. A retrieval mechanism is introduced to manage temporary disappearances, ensuring tracking continuity. The SOBA-VID dataset, comprising unlabeled training videos and labeled testing videos, along with the SOAP-VID metric, is introduced for the quantitative evaluation of VISD solutions. The effectiveness of ViShadow is further demonstrated through various video-level applications such as video inpainting, instance cloning, shadow editing, and text-instructed shadow-object manipulation.
△ Less
Submitted 5 May, 2024; v1 submitted 23 November, 2022;
originally announced November 2022.
-
A glimpse into pion gravitational form factor
Authors:
Zanbin Xing,
Minghui Ding,
Lei Chang
Abstract:
We provide a novel approach to calculate the gravitational form factor of pion under the ladder approximation of the Bethe-Salpeter equation, with contact interactions. Central to this approach is a symmetry-preserving treatment of the dressed $ππ$ amplitude, which shows explicitly the contributions from intrinsic quarks and bound states, the latter being necessary to produce the $D$-term of pion…
▽ More
We provide a novel approach to calculate the gravitational form factor of pion under the ladder approximation of the Bethe-Salpeter equation, with contact interactions. Central to this approach is a symmetry-preserving treatment of the dressed $ππ$ amplitude, which shows explicitly the contributions from intrinsic quarks and bound states, the latter being necessary to produce the $D$-term of pion in the soft-pion limit. The approach we provide in this work can be applied to many processes of physical significance.
△ Less
Submitted 12 November, 2022;
originally announced November 2022.
-
A Black Hole Kicked At Birth: MAXI J1305-704
Authors:
Chase Kimball,
Sam Imperato,
Vicky Kalogera,
Kyle A. Rocha,
Zoheyr Doctor,
Jeff J. Andrews,
Aaron Dotter,
Emmanouil Zapartas,
Simone S. Bavera,
Konstantinos Kovlakas,
Tassos Fragos,
Phillip M. Srivastava,
Devina Misra,
Meng Sun,
Zepei Xing
Abstract:
When a compact object is formed in a binary, any mass lost during core collapse will impart a kick on the binary's center of mass. Asymmetries in this mass loss or neutrino emission would impart an additional natal kick on the remnant black hole or neutron star, whether it was formed in a binary or in isolation. While it is well established that neutron stars receive natal kicks upon formation, it…
▽ More
When a compact object is formed in a binary, any mass lost during core collapse will impart a kick on the binary's center of mass. Asymmetries in this mass loss or neutrino emission would impart an additional natal kick on the remnant black hole or neutron star, whether it was formed in a binary or in isolation. While it is well established that neutron stars receive natal kicks upon formation, it is unclear whether black holes do as well. Here, we consider the low-mass X-ray binary MAXI J1305-704, which has been reported to have a space velocity $\gtrsim$ 200 km/s. In addition to integrating its trajectory to infer its velocity upon formation of its black hole, we account for recent estimates of its period, black hole mass, mass ratio, and donor effective temperature from photometric and spectroscopic observations. We find that if MAXI J1305-704 formed via isolated binary evolution in the thick Galactic disk, then the supernova that formed its black hole imparted a natal kick of at least 70 km/s while ejecting less than $\simeq 1$ M$_\odot$ with 95% confidence assuming uninformative priors on mass loss and natal kick velocity.
△ Less
Submitted 19 July, 2023; v1 submitted 3 November, 2022;
originally announced November 2022.
-
Towards identifying the minimal flavor symmetry behind neutrino oscillations
Authors:
Zhi-zhong Xing
Abstract:
Current neutrino oscillation data indicate that the $3\times 3$ Pontecorvo-Maki-Nakagawa-Sakata matrix $U$ exhibits a $μ$-$τ$ flavor interchange symmetry $|U^{}_{μi}| = |U^{}_{τi}|$ (for $i = 1, 2, 3$) as a good approximation. In particular, the T2K measurement implies that the maximal neutrino mixing angle $θ^{}_{23}$ and the CP-violating phase $δ$ should be close to $π/4$ and $-π/2$, respectivel…
▽ More
Current neutrino oscillation data indicate that the $3\times 3$ Pontecorvo-Maki-Nakagawa-Sakata matrix $U$ exhibits a $μ$-$τ$ flavor interchange symmetry $|U^{}_{μi}| = |U^{}_{τi}|$ (for $i = 1, 2, 3$) as a good approximation. In particular, the T2K measurement implies that the maximal neutrino mixing angle $θ^{}_{23}$ and the CP-violating phase $δ$ should be close to $π/4$ and $-π/2$, respectively. Behind these observations lies a minimal flavor symmetry -- - the effective Majorana neutrino mass term keeps invariant under the transformations $ν^{}_{e \rm L} \to (ν^{}_{e \rm L})^c$, $ν^{}_{μ\rm L} \to (ν^{}_{τ\rm L})^c$ and $ν^{}_{τ\rm L} \to (ν^{}_{μ\rm L})^c$. Extending this flavor symmetry to the canonical seesaw mechanism, we find that the $R$-matrix describing the strength of weak charged-current interactions of heavy Majorana neutrinos satisfies $|R^{}_{μi}| = |R^{}_{τi}|$ as a consequence of $|U^{}_{μi}| = |U^{}_{τi}|$. This result can be used to set a new upper bound, which is about three orders of magnitude more stringent than before, on the flavor mixing factor associated with the charged-lepton-flavor-violating decay mode $τ^- \to e^- + γ$.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
I Know What You Are Searching For: Code Snippet Recommendation from Stack Overflow Posts
Authors:
Zhipeng Gao,
Xin Xia,
David Lo,
John Grundy,
Xindong Zhang,
Zhenchang Xing
Abstract:
Stack Overflow has been heavily used by software developers to seek programming-related information. More and more developers use Community Question and Answer forums, such as Stack Overflow, to search for code examples of how to accomplish a certain coding task. This is often considered to be more efficient than working from source documentation, tutorials or full worked examples. However, due to…
▽ More
Stack Overflow has been heavily used by software developers to seek programming-related information. More and more developers use Community Question and Answer forums, such as Stack Overflow, to search for code examples of how to accomplish a certain coding task. This is often considered to be more efficient than working from source documentation, tutorials or full worked examples. However, due to the complexity of these online Question and Answer forums and the very large volume of information they contain, developers can be overwhelmed by the sheer volume of available information. This makes it hard to find and/or even be aware of the most relevant code examples to meet their needs. To alleviate this issue, in this work we present a query-driven code recommendation tool, named Que2Code, that identifies the best code snippets for a user query from Stack Overflow posts. Our approach has two main stages: (i) semantically-equivalent question retrieval and (ii) best code snippet recommendation. To evaluate the performance of our proposed model, we conduct a large scale experiment to evaluate the effectiveness of the semantically-equivalent question retrieval task and best code snippet recommendation task separately on Python and Java datasets in Stack Overflow. We also perform a human study to measure how real-world developers perceive the results generated by our model. Both the automatic and human evaluation results demonstrate the promising performance of our model, and we have released our code and data to assist other researchers.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.