title: Tessellation and interactive visualization of four-dimensional spacetime geometries

abstract: This paper addresses two problems needed to support four-dimensional ($3d + t$) spacetime numerical simulations. The first contribution is a general algorithm for producing conforming spacetime meshes of moving geometries. Here, the surface points of the geometry are embedded in a four-dimensional space as the geometry moves in time. The geometry is first tessellated at prescribed time steps and then these tessellations are connected in the parameter space of each geometry entity to form tetrahedra. In contrast to previous work, this approach allows the resolution of the geometry to be controlled at each time step. The only restriction on the algorithm is the requirement that no topological changes to the geometry are made (i.e. the hierarchical relations between all geometry entities are maintained) as the geometry moves in time. The validity of the final mesh topology is verified by ensuring the tetrahedralizations represent a closed 3-manifold. For some analytic problems, the $4d$ volume of the tetrahedralization is also verified. The second problem addressed in this paper is the design of a system to interactively visualize four-dimensional meshes, including tetrahedra (embedded in $4d$) and pentatopes. Algorithms that either include or exclude a geometry shader are described, and the efficiency of each approach is then compared. Overall, the results suggest that visualizing tetrahedra (either those bounding the domain, or extracted from a pentatopal mesh) using a geometry shader achieves the highest frame rate, in the range of $20-30$ frames per second for meshes with about $50$ million tetrahedra.


title: Women are less comfortable expressing opinions online than men and report heightened fears for safety: Surveying gender differences in experiences of online harms

abstract: Online harms, such as hate speech, trolling and self-harm promotion, continue to be widespread. While some work suggests women are disproportionately affected, other studies find mixed evidence for gender differences in experiences with content of this kind. Using a nationally representative survey of UK adults (N=1992), we examine exposure to a variety of harms, fears surrounding being targeted, the psychological impact of online experiences, the use of safety tools to protect against harm, and comfort with various forms of online participation across men and women. We find that while men and women see harmful content online to a roughly similar extent, women are more at risk than men of being targeted by harms including online misogyny, cyberstalking and cyberflashing. Women are significantly more fearful of being targeted by harms overall, and report greater negative psychological impact as a result of particular experiences. Perhaps in an attempt to mitigate risk, women report higher use of a range of safety tools and less comfort with several forms of online participation, with just 23% of women comfortable expressing political views online compared to 40% of men. We also find direct associations between fears surrounding harms and comfort with online behaviours. For example, fear of being trolled significantly decreases comfort expressing opinions, and fear of being targeted by misogyny significantly decreases comfort sharing photos. Our results are important because with much public discourse happening online, we must ensure all members of society feel safe and able to participate in online spaces.


title: Cosmic Neutrino Decoupling and its Observable Imprints: Insights from Entropic-Dual Transport

abstract: Very different processes characterize the decoupling of neutrinos to form the cosmic neutrino background (C$\nu$B) and the much later decoupling of photons from thermal equilibrium to form the cosmic microwave background (CMB). The C$\nu$B emerges from the fuzzy, energy-dependent neutrinosphere and encodes the physics operating in the early universe in the temperature range $T\sim 10\,{\rm MeV}$ to $T\sim10\,{\rm keV}$. This is the epoch where beyond Standard Model (BSM) physics may be influential in setting the light element abundances and the necessarily distorted fossil neutrino energy spectra. Here we use techniques honed in extensive CMB studies to analyze the C$\nu$B as calculated in detailed neutrino energy transport and nuclear reaction simulations. Our moment method, relative entropy, and differential visibility approach can leverage future high precision CMB and primordial abundance measurements to provide new insights into the C$\nu$B and any BSM physics it encodes. We demonstrate that the evolution of the energy spectrum of the C$\nu$B throughout the weak decoupling epoch is accurately captured in the Standard Model by only three parameters per species, a non-trivial conclusion given the deviation from thermal equilibrium. Furthermore, we can interpret each of the three parameters as physical characteristics of a non-equilibrium system. The success of our compact description within the Standard Model motivates its use also in BSM scenarios. We demonstrate how observations of primordial light element abundances can be used to place constraints on the C$\nu$B energy spectrum, deriving response functions that can be applied for general C$\nu$B spectral distortions. Combined with the description of those deviations that we develop here, our methods provide a convenient and powerful framework to constrain the impact of BSM physics on the C$\nu$B.


title: Expanding Density-Correlation Machine Learning Representations for Anisotropic Coarse-Grained Particles

abstract: Physics-based, atom-centered machine learning (ML) representations have been instrumental to the effective integration of ML within the atomistic simulation community. Many of these representations build off the idea of atoms as having spherical, or isotropic, interactions. In many communities, there is often a need to represent groups of atoms, either to increase the computational efficiency of simulation via coarse-graining or to understand molecular influences on system behavior. In such cases, atom-centered representations will have limited utility, as groups of atoms may not be well-approximated as spheres. In this work, we extend the popular Smooth Overlap of Atomic Positions (SOAP) ML representation for systems consisting of non-spherical anisotropic particles or clusters of atoms. We show the power of this anisotropic extension of SOAP, which we deem \AniSOAP, in accurately characterizing liquid crystal systems and predicting the energetics of Gay-Berne ellipsoids and coarse-grained benzene crystals. With our study of these prototypical anisotropic systems, we derive fundamental insights into how molecular shape influences mesoscale behavior and explain how to reincorporate important atom-atom interactions typically not captured by coarse-grained models. Moving forward, we propose \AniSOAP as a flexible, unified framework for coarse-graining in complex, multiscale simulation.


title: Visualizing High-Dimensional Temporal Data Using Direction-Aware t-SNE

abstract: Many real-world data sets contain a temporal component or involve transitions from state to state. For exploratory data analysis, we can represent these high-dimensional data sets in two-dimensional maps, using embeddings of the data objects under exploration and representing their temporal relationships with directed edges. Most existing dimensionality reduction techniques, such as t-SNE and UMAP, do not take into account the temporal or relational nature of the data when constructing the embeddings, resulting in temporally cluttered visualizations that obscure potentially interesting patterns. To address this problem, we propose two complementary, direction-aware loss terms in the optimization function of t-SNE that emphasize the temporal aspects of the data, guiding the optimization and the resulting embedding to reveal temporal patterns that might otherwise go unnoticed. The Directional Coherence Loss (DCL) encourages nearby arrows connecting two adjacent time series points to point in the same direction, while the Edge Length Loss (ELL) penalizes arrows - which effectively represent time gaps in the visualized embedding - based on their length. Both loss terms are differentiable and can be easily incorporated into existing dimensionality reduction techniques. By promoting local directionality of the directed edges, our procedure produces more temporally meaningful and less cluttered visualizations. We demonstrate the effectiveness of our approach on a toy dataset and two real-world datasets.


title: Friedrichs and Kre\u{\i}n type extensions in terms of representing maps

abstract: A semibounded operator or relation $S$ in a Hilbert space with lower bound $m \in {\mathbb R}$ has a symmetric extension $S_{\rm f}=S {\, \widehat + \,} (\{0\} \times {\rm mul\,} S^*)$, the weak Friedrichs extension of $S$, and a selfadjoint extension $S_{\rm F}$, the Friedrichs extension of $S$, that satisfy $S \subset S_{\rm f} \subset S_{\rm F}$. The Friedrichs extension $S_{\rm F}$ has lower bound $\gamma$ and it is the largest semibounded selfadjoint extension of $S$. Likewise, for each $c \leq \gamma$, the relation $S$ has a weak Kre\u{\i}n type extension $S_{{\rm k},c}=S {\, \widehat + \,} (\ker (S^*-c) \times \{0\})$ and Kre\u{\i}n type extension $S_{{\rm K},c}$ of $S$, that satisfy $S \subset S_{{\rm k},c} \subset S_{{\rm K},c}$. The Kre\u{\i}n type extension $S_{{\rm K},c}$ has lower bound $c$ and it is the smallest semibounded selfadjoint extension of $S$ which is bounded below by $c$. In this paper these special extensions and, more generally, all extremal extensions of $S$ are constructed in terms of a representing map for ${\mathfrak t}(S)-c$ and their properties are being considered.


title: Orchestrating Mixed-Criticality Cloud Workloads in Reconfigurable Manufacturing Systems

abstract: The adoption of cloud computing technologies in the industry is paving the way to new manufacturing paradigms. In this paper we propose a model to optimize the orchestration of workloads with differentiated criticality levels on a cloud-enabled factory floor. Preliminary results show that it is possible to optimize the guarantees to deployed jobs without penalizing the number of schedulable jobs. We indicate future research paths to quantitatively evaluate job isolation.


title: Illicit object detection in X-ray images using Vision Transformers

abstract: Illicit object detection is a critical task performed at various high-security locations, including airports, train stations, subways, and ports. The continuous and tedious work of examining thousands of X-ray images per hour can be mentally taxing. Thus, Deep Neural Networks (DNNs) can be used to automate the X-ray image analysis process, improve efficiency and alleviate the security officers' inspection burden. The neural architectures typically utilized in relevant literature are Convolutional Neural Networks (CNNs), with Vision Transformers (ViTs) rarely employed. In order to address this gap, this paper conducts a comprehensive evaluation of relevant ViT architectures on illicit item detection in X-ray images. This study utilizes both Transformer and hybrid backbones, such as SWIN and NextViT, and detectors, such as DINO and RT-DETR. The results demonstrate the remarkable accuracy of the DINO Transformer detector in the low-data regime, the impressive real-time performance of YOLOv8, and the effectiveness of the hybrid NextViT backbone.


title: Low-Complexity Estimation Algorithm and Decoupling Scheme for FRaC System

abstract: With the leaping advances in autonomous vehicles and transportation infrastructure, dual function radar-communication (DFRC) systems have become attractive due to the size, cost and resource efficiency. A frequency modulated continuous waveform (FMCW)-based radar-communication system (FRaC) utilizing both sparse multiple-input and multiple-output (MIMO) arrays and index modulation (IM) has been proposed to form a DFRC system specifically designed for vehicular applications. In this paper, the three-dimensional (3D) parameter estimation problem in the FRaC is considered. Since the 3D-parameters including range, direction of arrival (DOA) and velocity are coupled in the estimating matrix of the FRaC system, the existing estimation algorithms cannot estimate the 3D-parameters accurately. Hence, a novel decomposed decoupled atomic norm minimization (DANM) method is proposed by splitting the 3D-parameter estimating matrix into multiple 2D matrices with sparsity constraints. Then, the 3D-parameters are estimated and efficiently and separately with the optimized decoupled estimating matrix. Moreover, the Cram\'{e}r-Rao lower bound (CRLB) of the 3D-parameter estimation are derived, and the computational complexity of the proposed algorithm is analyzed. Simulation results show that the proposed decomposed DANM method exploits the advantage of the virtual aperture in the existence of coupling caused by IM and sparse MIMO array and outperforms the co-estimation algorithm with lower computation complexity.


title: Sister Celine's polynomials in the quantum theory of angular momentum

abstract: The polynomials introduced by Sister Celine cover different usual orthogonal polynomials as special cases. Among them, the Jacobi and discrete Hahn polynomials are of particular interest for the quantum theory of angular momentum. In this note, we show that characters of irreducible representations of the rotation group as well as Wigner rotation "d" matrices, can be expressed as Sister Celine's polynomials. Since many relations were proposed for the latter polynomials, such connections could lead to new identities for quantities important in quantum mechanics and atomic physics.


title: LITA: Language Instructed Temporal-Localization Assistant

abstract: There has been tremendous progress in multimodal Large Language Models (LLMs). Recent works have extended these models to video input with promising instruction following capabilities. However, an important missing piece is temporal localization. These models cannot accurately answer the "When?" questions. We identify three key aspects that limit their temporal localization capabilities: (i) time representation, (ii) architecture, and (iii) data. We address these shortcomings by proposing Language Instructed Temporal-Localization Assistant (LITA) with the following features: (1) We introduce time tokens that encode timestamps relative to the video length to better represent time in videos. (2) We introduce SlowFast tokens in the architecture to capture temporal information at fine temporal resolution. (3) We emphasize temporal localization data for LITA. In addition to leveraging existing video datasets with timestamps, we propose a new task, Reasoning Temporal Localization (RTL), along with the dataset, ActivityNet-RTL, for learning and evaluating this task. Reasoning temporal localization requires both the reasoning and temporal localization of Video LLMs. LITA demonstrates strong performance on this challenging task, nearly doubling the temporal mean intersection-over-union (mIoU) of baselines. In addition, we show that our emphasis on temporal localization also substantially improves video-based text generation compared to existing Video LLMs, including a 36% relative improvement of Temporal Understanding. Code is available at: https://github.com/NVlabs/LITA


title: Design principles, growth laws, and competition of minimal autocatalysts

abstract: The apparent difficulty of designing simple autocatalysts that grow exponentially in the absence of enzymes, external drives or ingenious internal mechanisms severely constrains scenarios for the emergence of evolution by natural selection in chemical and physical systems. Here, we systematically analyze these difficulties in the context of one of the simplest and most generic autocatalysts: a dimeric molecule that duplicates by templated ligation. We show that despite its simplicity, such an autocatalyst can achieve exponential growth autonomously. This only requires that the rate of the spontaneous dimerization, the interactions between molecules, and the concentrations of substrates and products are in appropriate ranges. We also show, however, that it is possible to design as simple sub-exponential autocatalysts that have an advantage over exponential autocatalysts when competing for a common resource. We reach these conclusions by developing a general theoretical framework based on kinetic barrier diagrams. Besides challenging commonly accepted assumptions in the field of the origin of life, our results provide a blueprint for the experimental realization of elementary autocatalysts exhibiting a form of natural selection, whether on a molecular or colloidal scale.


title: Phase-space representation of coherent states generated through SUSY QM for tilted anisotropic Dirac materials

abstract: In this paper, we examine the electron interaction within tilted anisotropic Dirac materials when subjected to external electric and magnetic fields possessing translational symmetry. Specifically, we focus on a distinct non-zero electric field magnitude, enabling the separation of the differential equation system inherent in the eigenvalue problem. Subsequently, employing supersymmetric quantum mechanics facilitates the determination of eigenstates and eigenvalues corresponding to the Hamiltonian operator. To delve into a semi-classical analysis of the system, we identify a set of coherent states. Finally, we assess the characteristics of these states using fidelity and the phase-space representation through the Wigner function.

categories: cond-mat.mtrl-sci math-ph math.MP quant-ph


title: Power and Play: Investigating "License to Critique" in Teams' AI Ethics Discussions

abstract: Past work has sought to design AI ethics interventions--such as checklists or toolkits--to help practitioners design more ethical AI systems. However, other work demonstrates how these interventions may instead serve to limit critique to that addressed within the intervention, while rendering broader concerns illegitimate. In this paper, drawing on work examining how standards enact discursive closure and how power relations affect whether and how people raise critique, we recruit three corporate teams, and one activist team, each with prior context working with one another, to play a game designed to trigger broad discussion around AI ethics. We use this as a point of contrast to trigger reflection on their teams' past discussions, examining factors which may affect their "license to critique" in AI ethics discussions. We then report on how particular affordances of this game may influence discussion, and find that the hypothetical context created in the game is unlikely to be a viable mechanism for real world change. We discuss how power dynamics within a group and notions of "scope" affect whether people may be willing to raise critique in AI ethics discussions, and discuss our finding that games are unlikely to enable direct changes to products or practice, but may be more likely to allow members to find critically-aligned allies for future collective action.


title: Detecting Generative Parroting through Overfitting Masked Autoencoders

abstract: The advent of generative AI models has revolutionized digital content creation, yet it introduces challenges in maintaining copyright integrity due to generative parroting, where models mimic their training data too closely. Our research presents a novel approach to tackle this issue by employing an overfitted Masked Autoencoder (MAE) to detect such parroted samples effectively. We establish a detection threshold based on the mean loss across the training dataset, allowing for the precise identification of parroted content in modified datasets. Preliminary evaluations demonstrate promising results, suggesting our method's potential to ensure ethical use and enhance the legal compliance of generative models.


title: Towards Standardized Regulations for Block Chain Smart Contracts: Insights from Delphi and SWARA Analysis

abstract: The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract rules and be concluded without any impediments. Once written, encrypted, and signed, smart contracts are recorded in the Block Chain Ledger, providing transparent and secure record-keeping. Smart contracts offer several benefits, including their ability to execute automatically without requiring human intervention, their provision of public visibility of contract provisions on the Block Chain, their avoidance of financial crimes like Money Laundering, and their prevention of contract abuses. However, disputes arising from smart contracts still require human intervention, presenting unique challenges in enforcing these contracts, such as evidentiary issues, enforceability of waivers of defenses, and jurisdictional and choice-of-law considerations. Due to the novel nature of smart contracts, there are currently no standardized regulations that apply to them. Countries that have approved them have turned to customary law to legitimize their use. The Delphi method was used to identify critical success factors for applying blockchain transactions in a manufacturing company. Stepwise Weight Assessment Ratio Analysis (SWARA) was then utilized to determine the most influential factors. The proposed methodology was implemented, and results show that the most influential factors for the successful application of blockchain transactions as smart contracts in a manufacturing company are: turnover, the counter argument, vision, components for building, and system outcome quality. Conversely, connections with government entities and subcontractors, and the guarantee of quality have the least influence on successful implementation.


title: On Orbital Labeling with Circular Contours

abstract: Schematic depictions in text books and maps often need to label specific point features with a text label. We investigate one variant of such a labeling, where the image contour is a circle and the labels are placed as circular arcs along the circumference of this circle. To map the labels to the feature points, we use orbital-radial leaders, which consist of a circular arc concentric with the image contour circle and a radial line to the contour. In this paper, we provide a framework, which captures various dimensions of the problem space as well as several polynomial time algorithms and complexity results for some problem variants.


title: Preliminary mapping of ionospheric total electron content (TEC) over Ecuador using global positioning system (GPS) data

abstract: The ionosphere affects radio signals by altering their speed, direction, and trajectory, causing a temporary delay known as ionospheric delay, which is directly related to the total electron content (TEC). Although research in other equatorial locations has explored TEC implications, qualitative research is required to predict its behavior in the ionosphere. This study aims to depict TEC intensity evolution through color maps using data from 14 GPS receivers placed across Ecuador. For this purpose, pseudorange observables collected from the stations were used to present a calculation method for the TEC and its evolution during January 2022. The results revealed an oscillatory behavior in the evolution of the TEC, with intensity peaks that, on some occasions, approach and even exceed 100 T ECU (TEC units), while its local minimums never reach zero values.


title: Sufficient Conditions for Solvability of Operators of Subprincipal Type

abstract: In this paper we show that condition $\operatorname{Sub_r}(\Psi)$ on the subprincipal symbol is sufficient for local solvability of pseudodifferential operators of real subprincipal type. These are the operators having real principal symbol which vanish on an involutive manifold where the subprincipal symbol is of principal type. This condition has previously been shown by the author to be necessary for local solvability of pseudodifferential operators of real subprincipal type.


title: Computing the spectrum and pseudospectrum of infinite-volume operators from local patches

abstract: We show how the spectrum of normal discrete short-range infinite-volume operators can be approximated with two-sided error control using only data from finite-sized local patches. As a corollary, we prove the computability of the spectrum of such infinite-volume operators with the additional property of finite local complexity and provide an explicit algorithm. Such operators appear in many applications, e.g. as discretizations of differential operators on unbounded domains or as so-called tight-binding Hamiltonians in solid state physics. For a large class of such operators, our result allows for the first time to establish computationally also the absence of spectrum, i.e. the existence and the size of spectral gaps. We extend our results to the $\varepsilon$-pseudospectrum of non-normal operators, proving that also the pseudospectrum of such operators is computable.


title: CAUSE: Counterfactual Assessment of User Satisfaction Estimation in Task-Oriented Dialogue Systems

abstract: An important unexplored aspect in previous work on user satisfaction estimation for Task-Oriented Dialogue (TOD) systems is their evaluation in terms of robustness for the identification of user dissatisfaction: current benchmarks for user satisfaction estimation in TOD systems are highly skewed towards dialogues for which the user is satisfied. The effect of having a more balanced set of satisfaction labels on performance is unknown. However, balancing the data with more dissatisfactory dialogue samples requires further data collection and human annotation, which is costly and time-consuming. In this work, we leverage large language models (LLMs) and unlock their ability to generate satisfaction-aware counterfactual dialogues to augment the set of original dialogues of a test collection. We gather human annotations to ensure the reliability of the generated samples. We evaluate two open-source LLMs as user satisfaction estimators on our augmented collection against state-of-the-art fine-tuned models. Our experiments show that when used as few-shot user satisfaction estimators, open-source LLMs show higher robustness to the increase in the number of dissatisfaction labels in the test collection than the fine-tuned state-of-the-art models. Our results shed light on the need for data augmentation approaches for user satisfaction estimation in TOD systems. We release our aligned counterfactual dialogues, which are curated by human annotation, to facilitate further research on this topic.


title: Equity in Healthcare: Analyzing Disparities in Machine Learning Predictions of Diabetic Patient Readmissions

abstract: This study investigates how machine learning (ML) models can predict hospital readmissions for diabetic patients fairly and accurately across different demographics (age, gender, race). We compared models like Deep Learning, Generalized Linear Models, Gradient Boosting Machines (GBM), and Naive Bayes. GBM stood out with an F1-score of 84.3% and accuracy of 82.2%, accurately predicting readmissions across demographics. A fairness analysis was conducted across all the models. GBM minimized disparities in predictions, achieving balanced results across genders and races. It showed low False Discovery Rates (FDR) (6-7%) and False Positive Rates (FPR) (5%) for both genders. Additionally, FDRs remained low for racial groups, such as African Americans (8%) and Asians (7%). Similarly, FPRs were consistent across age groups (4%) for both patients under 40 and those above 40, indicating its precision and ability to reduce bias. These findings emphasize the importance of choosing ML models carefully to ensure both accuracy and fairness for all patients. By showcasing effectiveness of various models with fairness metrics, this study promotes personalized medicine and the need for fair ML algorithms in healthcare. This can ultimately reduce disparities and improve outcomes for diabetic patients of all backgrounds.


title: Quotients in super-symmetry: formal supergroup case

abstract: We describe the structure of the quotient $\mathfrak{G}/\mathfrak{H}$ of a formal supergroup $\mathfrak{G}$ by its formal sub-supergroup $\mathfrak{H}$. This is a consequence which arises as a continuation of the authors' work (partly with M. Hashi) on algebraic/analytic supergoups.The results are presented and proved in terms of super-cocommutative Hopf superalgebras. The notion of co-free super-coalgebras plays a role, in particular.


title: Classical simulation of non-Gaussian bosonic circuits

abstract: We propose efficient classical algorithms which (strongly) simulate the action of bosonic linear optics circuits applied to superpositions of Gaussian states. Our approach relies on an augmented covariance matrix formalism to keep track of relative phases between individual terms in a linear combination. This yields an exact simulation algorithm whose runtime is polynomial in the number of modes and the size of the circuit, and quadratic in the number of terms in the superposition. We also present a faster approximate randomized algorithm whose runtime is linear in this number. Our main building blocks are a formula for the triple overlap of three Gaussian states and a fast algorithm for estimating the norm of a superposition of Gaussian states up to a multiplicative error. Our construction borrows from earlier work on simulating quantum circuits in finite-dimensional settings, including, in particular, fermionic linear optics with non-Gaussian initial states and Clifford computations with non-stabilizer initial states. It provides algorithmic access to a practically relevant family of non-Gaussian bosonic circuits.


title: Towards Human-Centered Construction Robotics: An RL-Driven Companion Robot For Contextually Assisting Carpentry Workers

abstract: In the dynamic construction industry, traditional robotic integration has primarily focused on automating specific tasks, often overlooking the complexity and variability of human aspects in construction workflows. This paper introduces a human-centered approach with a "work companion rover" designed to assist construction workers within their existing practices, aiming to enhance safety and workflow fluency while respecting construction labor's skilled nature. We conduct an in-depth study on deploying a robotic system in carpentry formwork, showcasing a prototype that emphasizes mobility, safety, and comfortable worker-robot collaboration in dynamic environments through a contextual Reinforcement Learning (RL)-driven modular framework. Our research advances robotic applications in construction, advocating for collaborative models where adaptive robots support rather than replace humans, underscoring the potential for an interactive and collaborative human-robot workforce.


title: One Code Fits All: Strong stuck-at codes for versatile memory encoding

abstract: In this work we consider a generalization of the well-studied problem of coding for ``stuck-at'' errors, which we refer to as ``strong stuck-at'' codes. In the traditional framework of stuck-at codes, the task involves encoding a message into a one-dimensional binary vector. However, a certain number of the bits in this vector are 'frozen', meaning they are fixed at a predetermined value and cannot be altered by the encoder. The decoder, aware of the proportion of frozen bits but not their specific positions, is responsible for deciphering the intended message. We consider a more challenging version of this problem where the decoder does not know also the fraction of frozen bits. We construct explicit and efficient encoding and decoding algorithms that get arbitrarily close to capacity in this scenario. Furthermore, to the best of our knowledge, our construction is the first, fully explicit construction of stuck-at codes that approach capacity.


title: GENESIS-RL: GEnerating Natural Edge-cases with Systematic Integration of Safety considerations and Reinforcement Learning

abstract: In the rapidly evolving field of autonomous systems, the safety and reliability of the system components are fundamental requirements. These components are often vulnerable to complex and unforeseen environments, making natural edge-case generation essential for enhancing system resilience. This paper presents GENESIS-RL, a novel framework that leverages system-level safety considerations and reinforcement learning techniques to systematically generate naturalistic edge cases. By simulating challenging conditions that mimic the real-world situations, our framework aims to rigorously test entire system's safety and reliability. Although demonstrated within the autonomous driving application, our methodology is adaptable across diverse autonomous systems. Our experimental validation, conducted on high-fidelity simulator underscores the overall effectiveness of this framework.


abstract: Pretraining has been widely explored to augment the adaptability of graph learning models to transfer knowledge from large datasets to a downstream task, such as link prediction or classification. However, the gap between training objectives and the discrepancy between data distributions in pretraining and downstream tasks hinders the transfer of the pretrained knowledge. Inspired by instruction-based prompts widely used in pretrained language models, we introduce instructions into graph pretraining. In this paper, we propose a novel pretraining framework named Instruction-based Hypergraph Pretraining. To overcome the discrepancy between pretraining and downstream tasks, text-based instructions are applied to provide explicit guidance on specific tasks for representation learning. Compared to learnable prompts, whose effectiveness depends on the quality and the diversity of training data, text-based instructions intrinsically encapsulate task information and support the model to generalize beyond the structure seen during pretraining. To capture high-order relations with task information in a context-aware manner, a novel prompting hypergraph convolution layer is devised to integrate instructions into information propagation in hypergraphs. Extensive experiments conducted on three public datasets verify the superiority of IHP in various scenarios.


title: Homemade Algebraic Geometry. Celebrating Enrique Arrondo's 60th birthday

abstract: In this survey we recognize Enrique Arrondo's contributions over the whole of its career, recalling his professional history and collecting the results of his mathematical production.


title: X-ray reflectometric studies of nanoparticulate hematite films to decouple the rough and smooth behaviors of it and crystallographic and morphological properties concerning fatty acid chain length

abstract: In this study, the use of X-Ray reflectometry technique signifies the types of rough and smooth surfaces of hematite film prepared from different fatty acid derivatives of the iron salt. Followed by this, the film morphology and crystallographic properties concerning different fatty acid chain length have been discussed.


title: Generative Quanta Color Imaging

abstract: The astonishing development of single-photon cameras has created an unprecedented opportunity for scientific and industrial imaging. However, the high data throughput generated by these 1-bit sensors creates a significant bottleneck for low-power applications. In this paper, we explore the possibility of generating a color image from a single binary frame of a single-photon camera. We evidently find this problem being particularly difficult to standard colorization approaches due to the substantial degree of exposure variation. The core innovation of our paper is an exposure synthesis model framed under a neural ordinary differential equation (Neural ODE) that allows us to generate a continuum of exposures from a single observation. This innovation ensures consistent exposure in binary images that colorizers take on, resulting in notably enhanced colorization. We demonstrate applications of the method in single-image and burst colorization and show superior generative performance over baselines. Project website can be found at https://vishal-s-p.github.io/projects/2023/generative_quanta_color.html.


title: Low-Rank Rescaled Vision Transformer Fine-Tuning: A Residual Design Approach

abstract: Parameter-efficient fine-tuning for pre-trained Vision Transformers aims to adeptly tailor a model to downstream tasks by learning a minimal set of new adaptation parameters while preserving the frozen majority of pre-trained parameters. Striking a balance between retaining the generalizable representation capacity of the pre-trained model and acquiring task-specific features poses a key challenge. Currently, there is a lack of focus on guiding this delicate trade-off. In this study, we approach the problem from the perspective of Singular Value Decomposition (SVD) of pre-trained parameter matrices, providing insights into the tuning dynamics of existing methods. Building upon this understanding, we propose a Residual-based Low-Rank Rescaling (RLRR) fine-tuning strategy. This strategy not only enhances flexibility in parameter tuning but also ensures that new parameters do not deviate excessively from the pre-trained model through a residual design. Extensive experiments demonstrate that our method achieves competitive performance across various downstream image classification tasks, all while maintaining comparable new parameters. We believe this work takes a step forward in offering a unified perspective for interpreting existing methods and serves as motivation for the development of new approaches that move closer to effectively considering the crucial trade-off mentioned above. Our code is available at \href{https://github.com/zstarN70/RLRR.git}{https://github.com/zstarN70/RLRR.git}.


title: Fusion of one-dimensional gapped phases and their domain walls

abstract: Finite depth quantum circuits provide an equivalence relation between gapped phases. Moreover, there can be nontrivial domain walls either within the same gapped phase or between different gapped phases, whose equivalence relations are given by finite depth quantum circuits in one lower dimension. In this paper, we use such unitary equivalence relations to study the fusion of one-dimensional gapped phases. In particular, we use finite depth circuits to fuse two gapped phases, local unitaries to fuse two domain walls, and a combination of both to fuse gapped phases with domain walls. This provides a concrete illustration of some simple aspects of the `higher-category' structure of gapped defects in a higher-dimensional trivial gapped bulk state.


title: Combine Influences of Nanoparticulate Hematite Thin Film Thickness, Roughness, and Weight on Its Photoelectrochemical Performance and Viscous/ Thermal Characteristics of Source Precursor

abstract: The objective of this work was to investigate the photoelectrochemical (PEC) performance of nanoparticulate hematite thin film photoelectrodes prepared by a soft-chemistry route. Two cost-effective thin film fabrication techniques were employed to deposit the hematite film. First, the film was deposited on conducting glass substrates by dip coating of the organic precursor containing fatty acid derivatives of iron salts. Process parameters such as the concentration of iron oleic acid derivative precursor solution, the thickness of the organic film, before annealing and the number of deposited layers along with their weight and roughness were studied. In the second approach, the influence of the spin coating process on film formation and respective photoelectrochemical (PEC) performance have been discussed. It was found that the PEC performance of spin-coated samples was lower than that of dip coated samples due to the effect of films rough and smooth characteristics. It is found that the rough surface of the photoelectrode is a prerequisite to achieving good photocurrent values. Here, three-layer samples with roughness between 600nm to 800nm and bulk thickness up to 700nm provided photocurrent densities of 0.6mA/cm2. In part 2 of the manuscript, we have elaborately discussed the roughness and smooth behavior of thin films using X-ray reflectometry technique. Followed by this, a detailed account of the viscous and thermal properties of the fatty acid derivatives of iron precursor have been discussed.


title: Stability of solutions of the porous medium equation with growth with respect to the diffusion exponent

abstract: We consider a macroscopic model for the growth of living tissues incorporating pressure-driven dispersal and pressure-modulated proliferation. Assuming a power-law relation between the mechanical pressure and the cell density, the model can be expressed as the porous medium equation with a growth term. We prove H\"older continuous dependence of the solutions of the model on the diffusion exponent. The main difficulty lies in the degeneracy of the porous medium equations at vacuum. To deal with this issue, we first regularise the equation by shifting the initial data away from zero and then optimise the stability estimate derived in the regular setting.


title: Spectroscopic diagnostics of lead stratification in hot subdwarf atmospheres

abstract: Heavy metal subdwarfs are a class of hot subdwarfs with very high abundances of heavy elements, typically around 10 000 times solar. They include stars which are strongly enhanced in either lead or zirconium, as well as other elements. Vertical stratification of the enhanced elements, where the element is concentrated in a thin layer of the atmosphere, has been proposed as a mechanism to explain the apparent high abundances. This paper explores the effects of the vertical stratification of lead on theoretical spectra of hot subdwarfs. The concentration of lead in different regions of the model atmosphere is found to affect individual lines in a broadly wavelength-dependent manner, with the potential for lines to display modified profiles depending on the location of lead enhancement in the atmosphere. This wavelength dependence highlights the importance of observations in both the optical and the UV for determining whether stratification is present in real stars.


title: AssetHarvester: A Static Analysis Tool for Detecting Assets Protected by Secrets in Software Artifacts

abstract: GitGuardian monitored secrets exposure in public GitHub repositories and reported developers leaked over 12 million secrets (database and other credentials) in 2023, indicating a 113% surge from 2021. Despite the availability of secret detection tools, developers ignore the tools' reported warnings because of false positives (25%-99%). However, each secret protects assets of different values accessible through asset identifiers (a DNS name and a public or private IP address). The asset information for a secret can aid developers in filtering false positives and prioritizing secret removal from the source code. However, existing secret detection tools do not provide the asset information, thus presenting difficulty to developers in filtering secrets only by looking at the secret value or finding the assets manually for each reported secret. The goal of our study is to aid software practitioners in prioritizing secrets removal by providing the assets information protected by the secrets through our novel static analysis tool. We present AssetHarvester, a static analysis tool to detect secret-asset pairs in a repository. Since the location of the asset can be distant from where the secret is defined, we investigated secret-asset co-location patterns and found four patterns. To identify the secret-asset pairs of the four patterns, we utilized three approaches (pattern matching, data flow analysis, and fast-approximation heuristics). We curated a benchmark of 1,791 secret-asset pairs of four database types extracted from 188 public GitHub repositories to evaluate the performance of AssetHarvester. AssetHarvester demonstrates precision of (97%), recall (90%), and F1-score (94%) in detecting secret-asset pairs. Our findings indicate that data flow analysis employed in AssetHarvester detects secret-asset pairs with 0% false positives and aids in improving the recall of secret detection tools.


title: Dataflow-Aware PIM-Enabled Manycore Architecture for Deep Learning Workloads

abstract: Processing-in-memory (PIM) has emerged as an enabler for the energy-efficient and high-performance acceleration of deep learning (DL) workloads. Resistive random-access memory (ReRAM) is one of the most promising technologies to implement PIM. However, as the complexity of Deep convolutional neural networks (DNNs) grows, we need to design a manycore architecture with multiple ReRAM-based processing elements (PEs) on a single chip. Existing PIM-based architectures mostly focus on computation while ignoring the role of communication. ReRAM-based tiled manycore architectures often involve many Processing Elements (PEs), which need to be interconnected via an efficient on-chip communication infrastructure. Simply allocating more resources (ReRAMs) to speed up only computation is ineffective if the communication infrastructure cannot keep up with it. In this paper, we highlight the design principles of a dataflow-aware PIM-enabled manycore platform tailor-made for various types of DL workloads. We consider the design challenges with both 2.5D interposer- and 3D integration-enabled architectures.


title: Cardinality Constraints in Single-Leader-Multi-Follower games

abstract: This work explores bilevel problems in the context of cardinality constraints. More specifically Single-Leader-Multi-Follower games (SLMFG) involving cardinality constraints are considered in two different configurations: one with the cardinality constraint at the leader's level and a mixed structure in which the cardinality constraint is split between leader and followers problem. We prove existence results in both cases and provided equivalent reformulations allowing the numerical treatment of these complex problems. The obtained results are illustrated thanks to an application to a facility location problem.


title: Efficient Preference Elicitation in Iterative Combinatorial Auctions with Many Participants

abstract: We study the problem of achieving high efficiency in iterative combinatorial auctions (ICAs). ICAs are a kind of combinatorial auction where the auctioneer interacts with bidders to gather their valuation information using a limited number of queries, aiming for efficient allocation. Preference elicitation, a process that incrementally asks bidders to value bundles while refining the outcome allocation, is a commonly used technique in ICAs. Recently, the integration of machine learning (ML) into ICAs has significantly improved preference elicitation. This approach employs ML models that match the number of bidders, estimating each bidder's valuation functions based on their reported valuations. However, most current studies train a separate model for each bidder, which can be inefficient when there are numerous bidders with similar valuation functions and a limited number of available queries. In this study, we introduce a multi-task learning method to learn valuation functions more efficiently. Specifically, we propose to share model parameters during training to grasp the intrinsic relationships between valuations. We assess the performance of our method using a spectrum auction simulator. The findings demonstrate that our method achieves higher efficiency than existing methods, especially in scenarios with many bidders and items but a limited number of maximum queries.


title: Tiny Machine Learning: Progress and Futures

abstract: Tiny Machine Learning (TinyML) is a new frontier of machine learning. By squeezing deep learning models into billions of IoT devices and microcontrollers (MCUs), we expand the scope of AI applications and enable ubiquitous intelligence. However, TinyML is challenging due to hardware constraints: the tiny memory resource makes it difficult to hold deep learning models designed for cloud and mobile platforms. There is also limited compiler and inference engine support for bare-metal devices. Therefore, we need to co-design the algorithm and system stack to enable TinyML. In this review, we will first discuss the definition, challenges, and applications of TinyML. We then survey the recent progress in TinyML and deep learning on MCUs. Next, we will introduce MCUNet, showing how we can achieve ImageNet-scale AI applications on IoT devices with system-algorithm co-design. We will further extend the solution from inference to training and introduce tiny on-device training techniques. Finally, we present future directions in this area. Today's large model might be tomorrow's tiny model. The scope of TinyML should evolve and adapt over time.


title: Blockchains, MEV and the knapsack problem: a primer

abstract: In this paper, we take a close look at a problem labeled maximal extractable value (MEV), which arises in a blockchain due to the ability of a block producer to manipulate the order of transactions within a block. Indeed, blockchains such as Ethereum have spent considerable resources addressing this issue and have redesigned the block production process to account for MEV. This paper provides an overview of the MEV problem and tracks how Ethereum has adapted to its presence. A vital aspect of the block building exercise is that it is a variant of the knapsack problem. Consequently, this paper highlights the role of designing auctions to fill a knapsack--or knapsack auctions--in alleviating the MEV problem. Overall, this paper presents a survey of the main issues and an accessible primer for researchers and students wishing to explore the economics of block building and MEV further.


title: MVEB: Self-Supervised Learning with Multi-View Entropy Bottleneck

abstract: Self-supervised learning aims to learn representation that can be effectively generalized to downstream tasks. Many self-supervised approaches regard two views of an image as both the input and the self-supervised signals, assuming that either view contains the same task-relevant information and the shared information is (approximately) sufficient for predicting downstream tasks. Recent studies show that discarding superfluous information not shared between the views can improve generalization. Hence, the ideal representation is sufficient for downstream tasks and contains minimal superfluous information, termed minimal sufficient representation. One can learn this representation by maximizing the mutual information between the representation and the supervised view while eliminating superfluous information. Nevertheless, the computation of mutual information is notoriously intractable. In this work, we propose an objective termed multi-view entropy bottleneck (MVEB) to learn minimal sufficient representation effectively. MVEB simplifies the minimal sufficient learning to maximizing both the agreement between the embeddings of two views and the differential entropy of the embedding distribution. Our experiments confirm that MVEB significantly improves performance. For example, it achieves top-1 accuracy of 76.9\% on ImageNet with a vanilla ResNet-50 backbone on linear evaluation. To the best of our knowledge, this is the new state-of-the-art result with ResNet-50.


title: A Real-Time Framework for Domain-Adaptive Underwater Object Detection with Image Enhancement

abstract: In recent years, significant progress has been made in the field of underwater image enhancement (UIE). However, its practical utility for high-level vision tasks, such as underwater object detection (UOD) in Autonomous Underwater Vehicles (AUVs), remains relatively unexplored. It may be attributed to several factors: (1) Existing methods typically employ UIE as a pre-processing step, which inevitably introduces considerable computational overhead and latency. (2) The process of enhancing images prior to training object detectors may not necessarily yield performance improvements. (3) The complex underwater environments can induce significant domain shifts across different scenarios, seriously deteriorating the UOD performance. To address these challenges, we introduce EnYOLO, an integrated real-time framework designed for simultaneous UIE and UOD with domain-adaptation capability. Specifically, both the UIE and UOD task heads share the same network backbone and utilize a lightweight design. Furthermore, to ensure balanced training for both tasks, we present a multi-stage training strategy aimed at consistently enhancing their performance. Additionally, we propose a novel domain-adaptation strategy to align feature embeddings originating from diverse underwater environments. Comprehensive experiments demonstrate that our framework not only achieves state-of-the-art (SOTA) performance in both UIE and UOD tasks, but also shows superior adaptability when applied to different underwater scenarios. Our efficiency analysis further highlights the substantial potential of our framework for onboard deployment.


title: MMCert: Provable Defense against Adversarial Attacks to Multi-modal Models

abstract: Different from a unimodal model whose input is from a single modality, the input (called multi-modal input) of a multi-modal model is from multiple modalities such as image, 3D points, audio, text, etc. Similar to unimodal models, many existing studies show that a multi-modal model is also vulnerable to adversarial perturbation, where an attacker could add small perturbation to all modalities of a multi-modal input such that the multi-modal model makes incorrect predictions for it. Existing certified defenses are mostly designed for unimodal models, which achieve sub-optimal certified robustness guarantees when extended to multi-modal models as shown in our experimental results. In our work, we propose MMCert, the first certified defense against adversarial attacks to a multi-modal model. We derive a lower bound on the performance of our MMCert under arbitrary adversarial attacks with bounded perturbations to both modalities (e.g., in the context of auto-driving, we bound the number of changed pixels in both RGB image and depth image). We evaluate our MMCert using two benchmark datasets: one for the multi-modal road segmentation task and the other for the multi-modal emotion recognition task. Moreover, we compare our MMCert with a state-of-the-art certified defense extended from unimodal models. Our experimental results show that our MMCert outperforms the baseline.


title: Surface variation analysis of freeform optical systems over surface frequency bands for prescribed wavefront errors

abstract: The surface errors of freeform surfaces reflect the manufacturing complexities and significantly impact the feasibility of processing designed optical systems. With multiple degrees of freedom, freeform surfaces pose challenges in surface tolerance analysis in the field. Nevertheless, current research has neglected the influence of surface slopes on the directions of ray propagation. A sudden alteration in the surface slope will lead to a corresponding abrupt shift in the wavefront, even when the change in surface sag is minimal. Moreover, within the realm of freeform surface manufacturing, variation in surface slope across different frequency bands may give rise to unique surface variation. Within the context of this study, we propose a tolerance analysis method to analyze surface variation in freeform surfaces considering surface frequency band slopes based on real ray data. This approach utilizes real ray data to rapidly evaluate surface variation within a specified frequency band of surface slopes. Crucially, our proposed method yields the capability to obtain system surface variation with significant wavefront aberration, in contrast to previous methodologies. The feasibility and advantages of this framework are assessed by analyzing a single-mirror system with a single field and an off-axis two-mirror system. We expect to integrate the proposed methodology with freeform surface design and manufacturing, thereby expanding the scope of freeform optics.


title: Enhancing Conformal Prediction Using E-Test Statistics

abstract: Conformal Prediction (CP) serves as a robust framework that quantifies uncertainty in predictions made by Machine Learning (ML) models. Unlike traditional point predictors, CP generates statistically valid prediction regions, also known as prediction intervals, based on the assumption of data exchangeability. Typically, the construction of conformal predictions hinges on p-values. This paper, however, ventures down an alternative path, harnessing the power of e-test statistics to augment the efficacy of conformal predictions by introducing a BB-predictor (bounded from the below predictor).


title: Improving Cancer Imaging Diagnosis with Bayesian Networks and Deep Learning: A Bayesian Deep Learning Approach

abstract: With recent advancements in the development of artificial intelligence applications using theories and algorithms in machine learning, many accurate models can be created to train and predict on given datasets. With the realization of the importance of imaging interpretation in cancer diagnosis, this article aims to investigate the theory behind Deep Learning and Bayesian Network prediction models. Based on the advantages and drawbacks of each model, different approaches will be used to construct a Bayesian Deep Learning Model, combining the strengths while minimizing the weaknesses. Finally, the applications and accuracy of the resulting Bayesian Deep Learning approach in the health industry in classifying images will be analyzed.


title: MaterialsMap: A CALPHAD-Based Tool to Design Composition Pathways through feasibility map for Desired Dissimilar Materials, demonstrated with RSW Joining of Ag-Al-Cu

abstract: Assembly of dissimilar metals can be achieved by different methods, for example, casting, welding, and additive manufacturing (AM). However, undesired phases formed in liquid-phase assembling processes due to solute segregation during solidification diminish mechanical and other properties of the processed parts. In the present work, an open-source software named MaterialsMap, has been developed based on the CALculation of Phase Diagrams (CALPHAD) approach. The primary objective of MaterialsMap is to facilitate the design of an optimal composition pathway for assembling dissimilar alloys with liquid-phases based on the formation of desired and undesired phases along the pathway. In MaterialsMap, equilibrium thermodynamic calculations are used to predict equilibrium phases formed at slow cooling rate, while Scheil-Gulliver simulations are employed to predict non-equilibrium phases formed during rapid cooling. By combining these two simulations, MaterialsMap offers a thorough guide for understanding phase formation in various manufacturing processes, assisting users in making informed decisions during material selection and production. As a demonstration of this approach, a compositional pathway was designed from pure Al to pure Cu through Ag using MaterialsMap. The design was experimentally verified using resistance spot welding (RSW).


title: Real-time accident detection and physiological signal monitoring to enhance motorbike safety and emergency response

abstract: Rapid urbanization and improved living standards have led to a substantial increase in the number of vehicles on the road, consequently resulting in a rise in the frequency of accidents. Among these accidents, motorbike accidents pose a particularly high risk, often resulting in serious injuries or deaths. A significant number of these fatalities occur due to delayed or inadequate medical attention. To this end, we propose a novel automatic detection and notification system specifically designed for motorbike accidents. The proposed system comprises two key components: a detection system and a physiological signal monitoring system. The detection system is integrated into the helmet and consists of a microcontroller, accelerometer, GPS, GSM, and Wi-Fi modules. The physio-monitoring system incorporates a sensor for monitoring pulse rate and SpO$_{2}$ saturation. All collected data are presented on an LCD display and wirelessly transmitted to the detection system through the microcontroller of the physiological signal monitoring system. If the accelerometer readings consistently deviate from the specified threshold decided through extensive experimentation, the system identifies the event as an accident and transmits the victim's information -- including the GPS location, pulse rate, and SpO$_{2}$ saturation rate -- to the designated emergency contacts. Preliminary results demonstrate the efficacy of the proposed system in accurately detecting motorbike accidents and promptly alerting emergency contacts. We firmly believe that the proposed system has the potential to significantly mitigate the risks associated with motorbike accidents and save lives.


title: Type problem, the first eigenvalue and Hardy inequalities

abstract: In this paper, we study the relationship between the type problem and the asymptotic behaviour of the first (Dirichlet) eigenvalues $\lambda_1(B_r)$ of ``balls'' $B_r:=\{\rho<r\}$ on a complete Riemannian manifold $M$ as $r\rightarrow +\infty$, where $\rho$ is a Lipschitz continuous exhaustion function with $|\nabla\rho|\leq1$ a.e. on $M$. We obtain several sharp results. First, if for all $r>r_0$ \[ r^2 \lambda_1(B_r)\ge \gamma>0, \] we obtain a sharp estimate of the volume growth: $|B_r|\ge cr^{\mu(\gamma)}.$ Moreover when $\gamma>j_0^2\approx 5.784$, where $j_0$ denotes the first positive zero of the Bessel function $J_0$, then $M$ is hyperbolic and we have a Hardy type inequality. In the case where $r_0=0$, a sharp Hardy type inequality holds. These spectral conditions are satisfied if one assumes that $\Delta\rho^2\geq2\mu(\gamma)>0$. In particular, when $\inf_M\Delta\rho^2>4$, $M$ is hyperbolic and we get a sharp Hardy type inequality. Related results for finite volume case are also studied.


title: Just-DNA-Seq, open-source personal genomics platform: longevity science for everyone

abstract: Genomic data has become increasingly accessible to the general public with the advent of companies offering whole genome sequencing at a relatively low cost. However, their reports are not verifiable due to a lack of crucial details and transparency: polygenic risk scores do not always mention all the polymorphisms involved. Simultaneously, tackling the manual investigation and interpretation of data proves challenging for individuals lacking a background in genetics. Currently, there is no open-source or commercial solution that provides comprehensive longevity reports surpassing a limited number of polymorphisms. Additionally, there are no ready-made, out-of-the-box solutions available that require minimal expertise to generate reports independently. To address these issues, we have developed the Just-DNA-Seq open-source genomic platform. Just-DNA-Seq aims to provide a user-friendly solution to genome annotation by allowing users to upload their own VCF files and receive annotations of their genetic variants and polygenic risk scores related to longevity. We also created GeneticsGenie custom GPT that can answer genetics questions based on our modules. With the Just-DNA-Seq platform, we want to provide full information regarding the genetics of long life: disease-predisposing variants, that can reduce lifespan and manifest at different age (cardiovascular, oncological, neurodegenerative diseases, etc.), pro-longevity variants and longevity drug pharmacokinetics. In this research article, we will discuss the features and capabilities of Just-DNA-Seq, and how it can benefit individuals looking to understand and improve their health. It's crucial to note that the Just-DNA-Seq platform is exclusively intended for scientific and informational purposes and is not suitable for medical applications.


title: A Framework for Time-Varying Optimization via Derivative Estimation

abstract: Optimization algorithms have a rich and fundamental relationship with ordinary differential equations given by its continuous-time limit. When the cost function varies with time -- typically in response to a dynamically changing environment -- online optimization becomes a continuous-time trajectory tracking problem. To accommodate these time variations, one typically requires some inherent knowledge about their nature such as a time derivative. In this paper, we propose a novel construction and analysis of a continuous-time derivative estimation scheme based on "dirty-derivatives", and show how it naturally interfaces with continuous-time optimization algorithms using the language of ISS (Input-to-State Stability). More generally, we show how a simple Lyapunov redesign technique leads to provable suboptimality guarantees when composing this estimator with any well-behaved optimization algorithm for time-varying costs.


title: Spherical Covariance Representations

abstract: Covariance representations are developed for the uniform distributions on the Euclidean spheres in terms of spherical gradients and Hessians. They are applied to derive a number of Sobolev type inequalities and to recover and refine the concentration of measure phenomenon, including second order concentration inequalities. A detail account is also given in the case of the circle, with a short overview of H\"offding's kernels and covariance identities in the class of periodic functions.


title: A Stabilized Physics Informed Neural Networks Method for Wave Equations

abstract: In this article, we propose a novel Stabilized Physics Informed Neural Networks method (SPINNs) for solving wave equations. In general, this method not only demonstrates theoretical convergence but also exhibits higher efficiency compared to the original PINNs. By replacing the $L^2$ norm with $H^1$ norm in the learning of initial condition and boundary condition, we theoretically proved that the error of solution can be upper bounded by the risk in SPINNs. Based on this, we decompose the error of SPINNs into approximation error, statistical error and optimization error. Furthermore, by applying the approximating theory of $ReLU^3$ networks and the learning theory on Rademacher complexity, covering number and pseudo-dimension of neural networks, we present a systematical non-asymptotic convergence analysis on our method, which shows that the error of SPINNs can be well controlled if the number of training samples, depth and width of the deep neural networks have been appropriately chosen. Two illustrative numerical examples on 1-dimensional and 2-dimensional wave equations demonstrate that SPINNs can achieve a faster and better convergence than classical PINNs method.


title: Observation of the semileptonic decays $D^0\rightarrow K_S^0\pi^-\pi^0 e^+ \nu_e$ and $D^+\rightarrow K_S^0\pi^+\pi^- e^+ \nu_e$

abstract: By analyzing $e^+e^-$ annihilation data corresponding to an integrated luminosity of 2.93 $\rm fb^{-1}$ collected at a center-of-mass energy of 3.773 GeV with the \text{BESIII} detector, the first observation of the semileptonic decays $D^0\rightarrow K_S^0\pi^-\pi^0 e^+ \nu_e$ and $D^+\rightarrow K_S^0\pi^+\pi^- e^+ \nu_e$ is reported. With a dominant hadronic contribution from $K_1(1270)$, the branching fractions are measured to be $\mathcal{B}(D^0\rightarrow {K}_1(1270)^-(\to K^0_S\pi^-\pi^0)e^+\nu_e)=(1.69^{+0.53}_{-0.46}\pm0.15)\times10^{-4}$ and $\mathcal{B}(D^+\to \bar{K}_1(1270)^0(\to K^0_S\pi^+\pi^-)e^+\nu_e)=(1.47^{+0.45}_{-0.40}\pm0.20)\times10^{-4}$ with statistical significance of 5.4$\sigma$ and 5.6$\sigma$, respectively. When combined with measurements of the $K_1(1270)\to K^+\pi^-\pi$ decays, the absolute branching fractions are determined to be $\mathcal{B}(D^0\to K_1(1270)^-e^+\nu_e)=(1.05^{+0.33}_{-0.28}\pm0.12\pm0.12)\times10^{-3}$ and $\mathcal{B}(D^+\to \bar{K}_1(1270)^0e^+\nu_e)=(1.29^{+0.40}_{-0.35}\pm0.18\pm0.15)\times10^{-3}$. The first and second uncertainties are statistical and systematic, respectively, and the third uncertainties originate from the assumed branching fractions of the $K_1(1270)\to K\pi\pi$ decays.


title: Inner fission barriers of uranium isotopes in the deformed relativistic Hartree-Bogoliubov theory in continuum

abstract: The inner fission barriers of the even-even uranium isotopes from the proton to the neutron drip line are studied with the deformed relativistic Hartree-Bogoliubov theory in continuum. A periodic evolution for the ground state shapes is shown with the neutron number, i.e., spherical shapes at shell closures $N=$126, 184, 258, and prolate dominated shapes between them. In analogy to the shape evolution, the inner fission barriers also exhibit a periodic behavior: peaks at the shell closures and valleys in the mid-shells. The triaxial effect to the inner fission barrier is evaluated using the triaxial relativistic mean field calculations plus a simple BCS method for pairing. With the triaxial correction included, good consistency in the inner barrier heights is found with the available empirical data. Besides, the evolution from the proton to the neutron drip line is in accord with the results by the multi-dimensionally constrained relativistic mean field theory. A flat valley in the fission barrier height is predicted around the neutron-rich nucleus $^{318}$U which may play a role of fission recycling in the astrophysical $r$-process nucleosynthesis.


title: Task2Morph: Differentiable Task-inspired Framework for Contact-Aware Robot Design

abstract: Optimizing the morphologies and the controllers that adapt to various tasks is a critical issue in the field of robot design, aka. embodied intelligence. Previous works typically model it as a joint optimization problem and use search-based methods to find the optimal solution in the morphology space. However, they ignore the implicit knowledge of task-to-morphology mapping which can directly inspire robot design. For example, flipping heavier boxes tends to require more muscular robot arms. This paper proposes a novel and general differentiable task-inspired framework for contact-aware robot design called Task2Morph. We abstract task features highly related to task performance and use them to build a task-to-morphology mapping. Further, we embed the mapping into a differentiable robot design process, where the gradient information is leveraged for both the mapping learning and the whole optimization. The experiments are conducted on three scenarios, and the results validate that Task2Morph outperforms DiffHand, which lacks a task-inspired morphology module, in terms of efficiency and effectiveness.


title: Learning From Correctness Without Prompting Makes LLM Efficient Reasoner

abstract: Large language models (LLMs) have demonstrated outstanding performance across various tasks, yet they still exhibit limitations such as hallucination, unfaithful reasoning, and toxic content. One potential approach to mitigate these issues is learning from human or external feedback (e.g. tools). In this paper, we introduce an intrinsic self-correct reasoning framework for LLMs that eliminates the need for human feedback, external tools, and handcraft prompts. The proposed framework, based on a multi-step reasoning paradigm \textbf{Le}arning from \textbf{Co}rrectness (\textsc{LeCo}), improves reasoning performance without needing to learn from errors. This paradigm prioritizes learning from correct reasoning steps, and a unique method to measure confidence for each reasoning step based on generation logits. Experimental results across various multi-step reasoning tasks demonstrate the effectiveness of the framework in improving reasoning performance with reduced token consumption.


title: Purposeful remixing with generative AI: Constructing designer voice in multimodal composing

abstract: Voice, the discursive construction of the writer's identity, has been extensively studied and theorized in composition studies. In multimodal writing, students are able to mobilize both linguistic and non linguistic resources to express their real or imagined identities. But at the same time, when students are limited to choose from available online resources, their voices might be compromised due to the incompatibility between their authorial intentions and the existing materials. This study, therefore, investigates whether the use of generative AI tools could help student authors construct a more consistent voice in multimodal writing. In this study, we have designed a photo essay assignment where students recount a story in the form of photo essays and prompt AI image generating tools to create photos for their storytelling. Drawing on interview data, written reflection, written annotation, and multimodal products from seven focal participants, we have identified two remixing practices, through which students attempted to establish a coherent and unique voice in writing. The study sheds light on the intentional and discursive nature of multimodal writing with AI as afforded by the technological flexibility, while also highlighting the practical and ethical challenges that could be attributed to students insufficient prompt and multimodal literacy and the innate limitations of AI systems. This study provides important implications for incorporating AI tools in designing multimodal writing tasks.


title: SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection

abstract: Recently, there has been a growing interest in automatic software vulnerability detection. Pre-trained model-based approaches have demonstrated superior performance than other Deep Learning (DL)-based approaches in detecting vulnerabilities. However, the existing pre-trained model-based approaches generally employ code sequences as input during prediction, and may ignore vulnerability-related structural information, as reflected in the following two aspects. First, they tend to fail to infer the semantics of the code statements with complex logic such as those containing multiple operators and pointers. Second, they are hard to comprehend various code execution sequences, which is essential for precise vulnerability detection. To mitigate the challenges, we propose a Structured Natural Language Comment tree-based vulnerAbiLity dEtection framework based on the pre-trained models, named SCALE. The proposed Structured Natural Language Comment Tree (SCT) integrates the semantics of code statements with code execution sequences based on the Abstract Syntax Trees (ASTs). Specifically, SCALE comprises three main modules: (1) Comment Tree Construction, which aims at enhancing the model's ability to infer the semantics of code statements by first incorporating Large Language Models (LLMs) for comment generation and then adding the comment node to ASTs. (2) Structured Natural Language Comment Tree Construction}, which aims at explicitly involving code execution sequence by combining the code syntax templates with the comment tree. (3) SCT-Enhanced Representation, which finally incorporates the constructed SCTs for well capturing vulnerability patterns.


title: Topological Optimal Transport for Geometric Cycle Matching

abstract: Topological data analysis is a powerful tool for describing topological signatures in real world data. An important challenge in topological data analysis is matching significant topological signals across distinct systems. In geometry and probability theory, optimal transport formalises notions of distance and matchings between distributions and structured objects. We propose to combine these approaches, constructing a mathematical framework for optimal transport-based matchings of topological features. Building upon recent advances in the domains of persistent homology and optimal transport for hypergraphs, we develop a transport-based methodology for topological data processing. We define measure topological networks, which integrate both geometric and topological information about a system, introduce a distance on the space of these objects, and study its metric properties, showing that it induces a geodesic metric space of non-negative curvature. The resulting Topological Optimal Transport (TpOT) framework provides a transport model on point clouds that minimises topological distortion while simultaneously yielding a geometrically informed matching between persistent homology cycles.


title: GraphAD: Interaction Scene Graph for End-to-end Autonomous Driving

abstract: Modeling complicated interactions among the ego-vehicle, road agents, and map elements has been a crucial part for safety-critical autonomous driving. Previous works on end-to-end autonomous driving rely on the attention mechanism for handling heterogeneous interactions, which fails to capture the geometric priors and is also computationally intensive. In this paper, we propose the Interaction Scene Graph (ISG) as a unified method to model the interactions among the ego-vehicle, road agents, and map elements. With the representation of the ISG, the driving agents aggregate essential information from the most influential elements, including the road agents with potential collisions and the map elements to follow. Since a mass of unnecessary interactions are omitted, the more efficient scene-graph-based framework is able to focus on indispensable connections and leads to better performance. We evaluate the proposed method for end-to-end autonomous driving on the nuScenes dataset. Compared with strong baselines, our method significantly outperforms in the full-stack driving tasks, including perception, prediction, and planning. Code will be released at https://github.com/zhangyp15/GraphAD.


title: Optimizing Quantum Convolutional Neural Network Architectures for Arbitrary Data Dimension

abstract: Quantum convolutional neural networks (QCNNs) represent a promising approach in quantum machine learning, paving new directions for both quantum and classical data analysis. This approach is particularly attractive due to the absence of the barren plateau problem, a fundamental challenge in training quantum neural networks (QNNs), and its feasibility. However, a limitation arises when applying QCNNs to classical data. The network architecture is most natural when the number of input qubits is a power of two, as this number is reduced by a factor of two in each pooling layer. The number of input qubits determines the dimensions (i.e. the number of features) of the input data that can be processed, restricting the applicability of QCNN algorithms to real-world data. To address this issue, we propose a QCNN architecture capable of handling arbitrary input data dimensions while optimizing the allocation of quantum resources such as ancillary qubits and quantum gates. This optimization is not only important for minimizing computational resources, but also essential in noisy intermediate-scale quantum (NISQ) computing, as the size of the quantum circuits that can be executed reliably is limited. Through numerical simulations, we benchmarked the classification performance of various QCNN architectures when handling arbitrary input data dimensions on the MNIST and Breast Cancer datasets. The results validate that the proposed QCNN architecture achieves excellent classification performance while utilizing a minimal resource overhead, providing an optimal solution when reliable quantum computation is constrained by noise and imperfections.


title: Quantifying the uncertainty in the time-redshift relationship

abstract: The age of the Universe at a given redshift is a fundamental relationship in cosmology. For many years, the uncertainties in it were dauntingly large, close to a factor of 2. In this age of precision cosmology, they are now at the percent level and dominated by the uncertainty in the Hubble constant. The uncertainties due to the parameters that describe the current cosmological model, $\Lambda$CDM, are much less important. In decreasing order they are: uncertainty due to the matter density $\Omega_M$ around 0.9\% for $z> 3$; uncertainty due to the dark energy equation-of-state parameter $w$, less than 0.3\% for $z>3$; and uncertainty due to the curvature parameter $\Omega_k$, at most 0.07\%.


title: AAPMT: AGI Assessment Through Prompt and Metric Transformer

abstract: The emergence of text-to-image models marks a significant milestone in the evolution of AI-generated images (AGIs), expanding their use in diverse domains like design, entertainment, and more. Despite these breakthroughs, the quality of AGIs often remains suboptimal, highlighting the need for effective evaluation methods. These methods are crucial for assessing the quality of images relative to their textual descriptions, and they must accurately mirror human perception. Substantial progress has been achieved in this domain, with innovative techniques such as BLIP and DBCNN contributing significantly. However, recent studies, including AGIQA-3K, reveal a notable discrepancy between current methods and state-of-the-art (SOTA) standards. This gap emphasizes the necessity for a more sophisticated and precise evaluation metric. In response, our objective is to develop a model that could give ratings for metrics, which focuses on parameters like perceptual quality, authenticity, and the correspondence between text and image, that more closely aligns with human perception. In our paper, we introduce a range of effective methods, including prompt designs and the Metric Transformer. The Metric Transformer is a novel structure inspired by the complex interrelationships among various AGI quality metrics. The code is available at https://github.com/huskydoge/CS3324-Digital-Image-Processing/tree/main/Assignment1


title: Automatic Fingerpad Customization for Precise and Stable Grasping of 3D-Print Parts

abstract: The rise in additive manufacturing comes with unique opportunities and challenges. Massive part customization and rapid design changes are made possible with additive manufacturing, however, manufacturing industries that desire the implementation of robotics automation to improve production efficiency could face challenges in the gripper design and grasp planning due to highly complex geometrical shapes resulting from massive part customization. Yet, current gripper design for such objects are often manual and rely on ad-hoc design intuition. This would be limiting as such grippers would lack the ability to grasp different objects or grasp points, which is important for practical implementations. Hence, we introduce a fast, end-to-end approach to customize rigid gripper fingerpads that could achieve precise and stable grasping for different objects at multiple grasp points. Our approach relies on two key components: (i) a method based on set Boolean operations, e.g. intersections, subtractions, and unions to extract object features and synthesize gripper surfaces that conform to different local shapes to form caging grasps; (ii) a method to evaluate the grasp quality of synthesized grippers. We experimentally demonstrate the validity of our approach by synthesizing fingerpads that, once mounted on a physical robot gripper, are able to grasp different objects at multiple grasp points, all with tightly constrained grasps.


title: Automated Black-box Prompt Engineering for Personalized Text-to-Image Generation

abstract: Prompt engineering is effective for controlling the output of text-to-image (T2I) generative models, but it is also laborious due to the need for manually crafted prompts. This challenge has spurred the development of algorithms for automated prompt generation. However, these methods often struggle with transferability across T2I models, require white-box access to the underlying model, and produce non-intuitive prompts. In this work, we introduce PRISM, an algorithm that automatically identifies human-interpretable and transferable prompts that can effectively generate desired concepts given only black-box access to T2I models. Inspired by large language model (LLM) jailbreaking, PRISM leverages the in-context learning ability of LLMs to iteratively refine the candidate prompts distribution for given reference images. Our experiments demonstrate the versatility and effectiveness of PRISM in generating accurate prompts for objects, styles and images across multiple T2I models, including Stable Diffusion, DALL-E, and Midjourney.


title: CRKD: Enhanced Camera-Radar Object Detection with Cross-modality Knowledge Distillation

abstract: In the field of 3D object detection for autonomous driving, LiDAR-Camera (LC) fusion is the top-performing sensor configuration. Still, LiDAR is relatively high cost, which hinders adoption of this technology for consumer automobiles. Alternatively, camera and radar are commonly deployed on vehicles already on the road today, but performance of Camera-Radar (CR) fusion falls behind LC fusion. In this work, we propose Camera-Radar Knowledge Distillation (CRKD) to bridge the performance gap between LC and CR detectors with a novel cross-modality KD framework. We use the Bird's-Eye-View (BEV) representation as the shared feature space to enable effective knowledge distillation. To accommodate the unique cross-modality KD path, we propose four distillation losses to help the student learn crucial features from the teacher model. We present extensive evaluations on the nuScenes dataset to demonstrate the effectiveness of the proposed CRKD framework. The project page for CRKD is https://song-jingyu.github.io/CRKD.


title: Pilot Signal and Channel Estimator Co-Design for Hybrid-Field XL-MIMO

abstract: This paper addresses the intricate task of hybrid-field channel estimation in extremely large-scale MIMO (XL-MIMO) systems, critical for the progression of 6G communications. Within these systems, comprising a line-of-sight (LoS) channel component alongside far-field and near-field scattering channel components, our objective is to tackle the channel estimation challenge. We encounter two central hurdles for ensuring dependable sparse channel recovery: the design of pilot signals and channel estimators tailored for hybrid-field communications. To overcome the first challenge, we propose a method to derive optimal pilot signals, aimed at minimizing the mutual coherence of the sensing matrix within the context of compressive sensing (CS) problems. These optimal signals are derived using the alternating direction method of multipliers (ADMM), ensuring robust performance in sparse channel recovery. Additionally, leveraging the acquired optimal pilot signal, we introduce a two-stage channel estimation approach that sequentially estimates the LoS channel component and the hybrid-field scattering channel components. Simulation results attest to the superiority of our co-designed approach for pilot signal and channel estimation over conventional CS-based methods, providing more reliable sparse channel recovery in practical scenarios.


title: Branching problem of tensoring two Verma modules and its application to differential symmetry breaking operators

abstract: Kobayashi-Pevzner discovered in [Selecta Math., 2016] that the failure of the multiplicity-one property in the fusion rule of Verma modules of sl2 occurs exactly when the Rankin-Cohen bracket vanishes, and 1classified all the corresponding parameters. In this paper we provide yet another characterization for these parameters, and give a precise description of indecomposable components of the tensor product. Furthermore, we discuss when the tensor products of two Verma modules are isomorphic to each other for semisimple Lie algebras g.


title: Synthetic Medical Imaging Generation with Generative Adversarial Networks For Plain Radiographs

abstract: In medical imaging, access to data is commonly limited due to patient privacy restrictions and the issue that it can be difficult to acquire enough data in the case of rare diseases.[1] The purpose of this investigation was to develop a reusable open-source synthetic image generation pipeline, the GAN Image Synthesis Tool (GIST), that is easy to use as well as easy to deploy. The pipeline helps to improve and standardize AI algorithms in the digital health space by generating high quality synthetic image data that is not linked to specific patients. Its image generation capabilities include the ability to generate imaging of pathologies or injuries with low incidence rates. This improvement of digital health AI algorithms could improve diagnostic accuracy, aid in patient care, decrease medicolegal claims, and ultimately decrease the overall cost of healthcare. The pipeline builds on existing Generative Adversarial Networks (GANs) algorithms, and preprocessing and evaluation steps were included for completeness. For this work, we focused on ensuring the pipeline supports radiography, with a focus on synthetic knee and elbow x-ray images. In designing the pipeline, we evaluated the performance of current GAN architectures, studying the performance on available x-ray data. We show that the pipeline is capable of generating high quality and clinically relevant images based on a lay person's evaluation and the Fr\'echet Inception Distance (FID) metric.


title: Local smoothing for the Hermite wave equation

abstract: We show local smoothing estimates in $L^p$-spaces for solutions to the Hermite wave equation. For this purpose, we obtain a parametrix given by a Fourier Integral Operator, which we linearize. This leads us to analyze local smoothing estimates for solutions to Klein-Gordon equations. We show $\ell^2$-decoupling estimates adapted to the mass parameter to obtain local smoothing with essentially sharp derivative loss. In one dimension as consequence of square function estimates, we obtain estimates sharp up to endpoints. Finally, we elaborate on the implications of local smoothing estimates for Hermite Bochner--Riesz means.


title: Enhancing Evolutionary Solver Efficiency for NP Hard Single Machine Scheduling Problems

abstract: The study explores the optimization of evolutionary solver parameters for minimizing total tardiness in single machine scheduling, an NP-hard problem with zero ready times included. It investigates various parameter combinations, including population sizes, mutation rates, and a constant convergence rate, both above and below default values. The aim is to enhance the solver's effectiveness in addressing this complex challenge. The findings contribute to improving scheduling efficiency in manufacturing and operations management contexts.


title: Remarks on $J$-tame inflation

abstract: We give a complete and self-contained exposition of the $J$-tame inflation lemma: Given any tame almost complex structure $J$ on a symplectic $4$-manifold $(M,\omega)$, and given any compact, embedded, $J$-holomorphic submanifold $Z$, it is always possible to construct a deformation of symplectic forms $\omega_t$ in classes $[\omega_t]=[\omega]+t\mathrm{PD}{Z}$, for $0\leq t$ less than an upper bound $0<T$ that only depends on the self-intersection $Z\cdot Z$. The original proofs of this fact make the unwarranted assumption that one can find a family of normal planes along $Z$ that is both $J$ invariant and $\omega$-orthogonal to $TZ$ -- which amounts, in effect, to assuming the compatibility of $J$ and $\omega$ along $Z$. We explain how the original constructions can be adapted to avoid this assumption when $Z$ has nonpositive self-intersection, and we discuss the difficulties with this line of argument in general to establish the full inflation when $Z$ has positive self-intersection. We overcome this problem by proving a `preparation lemma', which states that prior to inflation, one can isotop $\omega$ within its cohomology class to a new form that still tames $J$ and which is compatible with $J$ along the submanifold $Z$.


title: Patch Spatio-Temporal Relation Prediction for Video Anomaly Detection

abstract: Video Anomaly Detection (VAD), aiming to identify abnormalities within a specific context and timeframe, is crucial for intelligent Video Surveillance Systems. While recent deep learning-based VAD models have shown promising results by generating high-resolution frames, they often lack competence in preserving detailed spatial and temporal coherence in video frames. To tackle this issue, we propose a self-supervised learning approach for VAD through an inter-patch relationship prediction task. Specifically, we introduce a two-branch vision transformer network designed to capture deep visual features of video frames, addressing spatial and temporal dimensions responsible for modeling appearance and motion patterns, respectively. The inter-patch relationship in each dimension is decoupled into inter-patch similarity and the order information of each patch. To mitigate memory consumption, we convert the order information prediction task into a multi-label learning problem, and the inter-patch similarity prediction task into a distance matrix regression problem. Comprehensive experiments demonstrate the effectiveness of our method, surpassing pixel-generation-based methods by a significant margin across three public benchmarks. Additionally, our approach outperforms other self-supervised learning-based methods.


title: Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts

abstract: Reentrancy, a notorious vulnerability in smart contracts, has led to millions of dollars in financial loss. However, current smart contract vulnerability detection tools suffer from a high false positive rate in identifying contracts with reentrancy vulnerabilities. Moreover, only a small portion of the detected reentrant contracts can actually be exploited by hackers, making these tools less effective in securing the Ethereum ecosystem in practice. In this paper, we propose BlockWatchdog, a tool that focuses on detecting reentrancy vulnerabilities by identifying attacker contracts. These attacker contracts are deployed by hackers to exploit vulnerable contracts automatically. By focusing on attacker contracts, BlockWatchdog effectively detects truly exploitable reentrancy vulnerabilities by identifying reentrant call flow. Additionally, BlockWatchdog is capable of detecting new types of reentrancy vulnerabilities caused by poor designs when using ERC tokens or user-defined interfaces, which cannot be detected by current rule-based tools. We implement BlockWatchdog using cross-contract static dataflow techniques based on attack logic obtained from an empirical study that analyzes attacker contracts from 281 attack incidents. BlockWatchdog is evaluated on 421,889 Ethereum contract bytecodes and identifies 113 attacker contracts that target 159 victim contracts, leading to the theft of Ether and tokens valued at approximately 908.6 million USD. Notably, only 18 of the identified 159 victim contracts can be reported by current reentrancy detection tools.


title: FACTOID: FACtual enTailment fOr hallucInation Detection

abstract: The widespread adoption of Large Language Models (LLMs) has facilitated numerous benefits. However, hallucination is a significant concern. In response, Retrieval Augmented Generation (RAG) has emerged as a highly promising paradigm to improve LLM outputs by grounding them in factual information. RAG relies on textual entailment (TE) or similar methods to check if the text produced by LLMs is supported or contradicted, compared to retrieved documents. This paper argues that conventional TE methods are inadequate for spotting hallucinations in content generated by LLMs. For instance, consider a prompt about the 'USA's stance on the Ukraine war''. The AI-generated text states, ...U.S. President Barack Obama says the U.S. will not put troops in Ukraine...'' However, during the war the U.S. president is Joe Biden which contradicts factual reality. Moreover, current TE systems are unable to accurately annotate the given text and identify the exact portion that is contradicted. To address this, we introduces a new type of TE called ``Factual Entailment (FE).'', aims to detect factual inaccuracies in content generated by LLMs while also highlighting the specific text segment that contradicts reality. We present FACTOID (FACTual enTAILment for hallucInation Detection), a benchmark dataset for FE. We propose a multi-task learning (MTL) framework for FE, incorporating state-of-the-art (SoTA) long text embeddings such as e5-mistral-7b-instruct, along with GPT-3, SpanBERT, and RoFormer. The proposed MTL architecture for FE achieves an avg. 40\% improvement in accuracy on the FACTOID benchmark compared to SoTA TE methods. As FE automatically detects hallucinations, we assessed 15 modern LLMs and ranked them using our proposed Auto Hallucination Vulnerability Index (HVI_auto). This index quantifies and offers a comparative scale to evaluate and rank LLMs according to their hallucinations.