title: Strong Call-by-Value and Multi Types

abstract: This paper provides foundations for strong (that is, possibly under abstraction) call-by-value evaluation for the lambda-calculus. Recently, Accattoli et al. proposed a form of call-by-value strong evaluation for the lambda-calculus, the external strategy, and proved it reasonable for time. Here, we study the external strategy using a semantical tool, namely Ehrhard's call-by-value multi types, a variant of intersection types. We show that the external strategy terminates exactly when a term is typable with so-called shrinking multi types, mimicking similar results for strong call-by-name. Additionally, the external strategy is normalizing in the untyped setting, that is, it reaches the normal form whenever it exists. We also consider the call-by-extended-value approach to strong evaluation shown reasonable for time by Biernacka et al. The two approaches turn out to not be equivalent: terms may be externally divergent but terminating for call-by-extended-value.


title: Competition between Neel, Haldane nematic, plaquette valence bond solid, and $(\pi,\pi)$ valence bond solid phases in SU(N) analogs of $S=1$ square-lattice antiferromagnets

abstract: We use stochastic series expansion (SSE) quantum Monte Carlo (QMC) methods to study the phases and transitions displayed by a class of sign-free designer Hamiltonians for SU($N$) analogs of spin $S=1$ quantum antiferromagnets on the square lattice. The SU($N$) spins are generators of the single-row two-column representation (complex conjugate of single-row two-column representation) on $A$ ($B$) sublattices of the square lattice, and the Hamiltonian is designed to explore the competition between the nearest neighbour antiferromagnetic exchange couplings $J$ and four-spin interactions $Q$ that favor a plaquette-ordered valence bond solid (p-VBS) ground state. We find that this state is indeed established at large $Q/J$ for all $N > 3$. For $3< N \leq 9$, the ground state exhibits a direct first order quantum phase transition from a small-$Q/J$ N\'eel ordered antiferromagnetic state to this large-$Q/J$ p-VBS state. The ground state at $Q/J=0$ for $N \geq 10$ has been previously reported to be a valence bond nematic state, dubbed the Haldane nematic in recent literature. For small nonzero $Q/J$ and $N \geq 10$, we additionally find an unusual intermediate state in which the bond energy has a Bragg peak at wavevector $(\pi,\pi)$ with no accompanying Bragg peaks at wavevectors $(\pi,0)$ and $(0, \pi)$. This $(\pi, \pi)$ state also appears to be metastable at $Q/J =0$, as evidenced by low temperature histograms of the Haldane nematic and $(\pi, \pi)$ order parameters. Deep in the p-VBS phase of the ground state phase diagram, we find the temperature-driven melting of the p-VBS order is in the Ashkin-Teller universality class. In this regime, we identify an interesting signature of Ashkin-Teller criticality in bond correlations at wavevector $(\pi, \pi)$; this is in addition to the expected critical fluctuations of the conventional p-VBS order parameter at wavevectors $(\pi,0)$ and $(0,\pi)$.


title: On the Relationship between Skill Neurons and Robustness in Prompt Tuning

abstract: Prompt Tuning is a popular parameter-efficient finetuning method for pre-trained large language models (PLMs). Based on experiments with RoBERTa, it has been suggested that Prompt Tuning activates specific neurons in the transformer's feed-forward networks, that are highly predictive and selective for the given task. In this paper, we study the robustness of Prompt Tuning in relation to these "skill neurons", using RoBERTa and T5. We show that prompts tuned for a specific task are transferable to tasks of the same type but are not very robust to adversarial data. While prompts tuned for RoBERTa yield below-chance performance on adversarial data, prompts tuned for T5 are slightly more robust and retain above-chance performance in two out of three cases. At the same time, we replicate the finding that skill neurons exist in RoBERTa and further show that skill neurons also exist in T5. Interestingly, the skill neurons of T5 determined on non-adversarial data are also among the most predictive neurons on the adversarial data, which is not the case for RoBERTa. We conclude that higher adversarial robustness may be related to a model's ability to consistently activate the relevant skill neurons on adversarial data.


title: GRB221009A gamma-ray events from non-standard neutrino self-interactions

abstract: The flux of high-energy astrophysical neutrinos observed by the present generation of neutrino detectors has already indicated a few hints of new physics beyond the Standard Model. In this work, we show that high-energy gamma-ray observations can also be considered as a complementary probe for unveiling the source of high-energy astrophysical neutrino events and new physics. Recently, the LHAASO collaboration has reported O(5000) gamma-ray events in the energy range between 0.5 TeV -18 TeV from gamma-ray burst GRB221009A within 2000 seconds after the initial outburst. We showed that attenuated high-energy gamma rays can be produced from the interaction of astrophysical neutrinos with CMB neutrinos through non-standard self-interaction of neutrinos mediated by light scalar bosons. The non-standard interaction of neutrinos recently took a lot of attention in cosmology for its role in reducing Hubble tension. We have constrained the parameter space of non-standard self-interacting neutrinos from the flux of photons observed by LHAASO and showed consistency of the same with the resulting parameter space from Hubble tension requirements and other recent constraints from laboratory/cosmology.


title: Cost-sharing in Parking Games

abstract: In this paper, we study the total displacement statistic of parking functions from the perspective of cooperative game theory. We introduce parking games, which are coalitional cost-sharing games in characteristic function form derived from the total displacement statistic. We show that parking games are supermodular cost-sharing games, indicating that cooperation is difficult (i.e., their core is empty). Next, we study their Shapley value, which formalizes a notion of "fair" cost-sharing and amounts to charging each car for its expected marginal displacement under a random arrival order. Our main contribution is a polynomial-time algorithm to compute the Shapley value of parking games, in contrast with known hardness results on computing the Shapley value of arbitrary games. The algorithm leverages the permutation-invariance of total displacement, combinatorial enumeration, and dynamic programming. We conclude with open questions around alternative solution concepts for supermodular cost-sharing games and connections to other areas in combinatorics.


title: Heavy $\Xi_{c/b}$ and $\Xi'_{c/b}$ baryons in the quark model

abstract: We present a study of the low-lying $\Xi_{c/b}$ and $\Xi'_{c/b}$ baryon states based on masses, strong and radiative decays. In a harmonic oscillator quark model analysis it is found that the majority of the detected states can be interpreted as $S$- and $P$-wave excitations.


title: Enabling Quartile-based Estimated-Mean Gradient Aggregation As Baseline for Federated Image Classifications

abstract: Federated Learning (FL) has revolutionized how we train deep neural networks by enabling decentralized collaboration while safeguarding sensitive data and improving model performance. However, FL faces two crucial challenges: the diverse nature of data held by individual clients and the vulnerability of the FL system to security breaches. This paper introduces an innovative solution named Estimated Mean Aggregation (EMA) that not only addresses these challenges but also provides a fundamental reference point as a $\mathsf{baseline}$ for advanced aggregation techniques in FL systems. EMA's significance lies in its dual role: enhancing model security by effectively handling malicious outliers through trimmed means and uncovering data heterogeneity to ensure that trained models are adaptable across various client datasets. Through a wealth of experiments, EMA consistently demonstrates high accuracy and area under the curve (AUC) compared to alternative methods, establishing itself as a robust baseline for evaluating the effectiveness and security of FL aggregation methods. EMA's contributions thus offer a crucial step forward in advancing the efficiency, security, and versatility of decentralized deep learning in the context of FL.


title: A new renormalized volume type invariant

abstract: In this paper, we define a new conformal invariant on complete non-compact hyperbolic surfaces that can be conformally compactified to bounded domains in $\mathbb{C}$. We study and compute this invariant up to one-connected surfaces. Our results give a new geometric criterion for choosing canonical representations of bounded domains in $\mathbb{C}$.


title: The Cambridge Law Corpus: A Dataset for Legal AI Research

abstract: We introduce the Cambridge Law Corpus (CLC), a dataset for legal AI research. It consists of over 250 000 court cases from the UK. Most cases are from the 21st century, but the corpus includes cases as old as the 16th century. This paper presents the first release of the corpus, containing the raw text and meta-data. Together with the corpus, we provide annotations on case outcomes for 638 cases, done by legal experts. Using our annotated data, we have trained and evaluated case outcome extraction with GPT-3, GPT-4 and RoBERTa models to provide benchmarks. We include an extensive legal and ethical discussion to address the potentially sensitive nature of this material. As a consequence, the corpus will only be released for research purposes under certain restrictions.


title: Lattice study of the chiral properties of large $N_c$ QCD

abstract: We present a lattice calculation of the low energy constants of QCD with $N_c=3$, 4 and 5 colors and $N_f=2$ flavors of degenerate mass fermions. We fit data for the pseudoscalar meson mass, the pseudoscalar decay constant, and the Axial Ward Identity fermion mass to formulas from next to next to leading order chiral perturbation theory. We extract the next to leading order low energy constants and study their behavior as a function of $N_c$. Pre-existing analyses of $N_c=3$ inform our fitting strategies.


title: A generalization of the Witten conjecture through spectral curve

abstract: We propose a generalization of the Witten conjecture, which connects a descendent enumerative theory with a specific reduction of KP integrable hierarchy. Our conjecture is realized by two parts: Part I (Geometry) establishes a correspondence between the descendent potential function (apart from ancestors) and the topological recursion of specific spectral curve data $(\Sigma, x,y,B)$; Part II (Integrability) claims that the TR descendent potential, defined at the boundary points of the spectral curve (where $dx$ has poles), is a tau function of a certain reduction of the multi-component KP hierarchy. In this paper, we show the geometry part for any formal descendent theory by using a generalized Laplace transform, and show the integrability part for the one-boundary cases. As applications, we generalize and prove the $r$KdV integrability of negative $r$-spin theory conjectured by Chidambaram, Garcia-Falide and Giacchetto [6], and prove the KdV integrability for the theory associated with the Weierstrass curve introduced by Dubrovin.


title: The stellar occultation by (319) Leona on 13 September 2023 in preparation for the occultation of Betelgeuse

abstract: On 12 December 2023, the star $\alpha$ Orionis (Betelgeuse) will be occulted by the asteroid (319) Leona. This represents an extraordinary and unique opportunity to analyze the diameter and brightness distribution of Betelgeuse's photosphere with extreme angular resolution by studying the light curve as the asteroid occults the star from different points on Earth and at different wavelengths. Here we present observations of another occultation by Leona on 13 September 2023 to determine its projected shape and size in preparation for the December 12th event. The occultation observation campaign was highly successful. The effective diameter in projected area derived from the positive detections at 17 sites turned out to be 66 km $\pm$ 2 km using an elliptical fit to the instantaneous limb. The body is highly elongated, with dimensions of 79.6 $\pm$ 2.2 km x 54.8 $\pm$ 1.3 km in its long and short axis, respectively, at the occultation time. Also, an accurate position coming from the occultation, to improve the orbit determination of Leona for December 12 is provided.


title: Improving VTE Identification through Adaptive NLP Model Selection and Clinical Expert Rule-based Classifier from Radiology Reports

abstract: Rapid and accurate identification of Venous thromboembolism (VTE), a severe cardiovascular condition including deep vein thrombosis (DVT) and pulmonary embolism (PE), is important for effective treatment. Leveraging Natural Language Processing (NLP) on radiology reports, automated methods have shown promising advancements in identifying VTE events from retrospective data cohorts or aiding clinical experts in identifying VTE events from radiology reports. However, effectively training Deep Learning (DL) and the NLP models is challenging due to limited labeled medical text data, the complexity and heterogeneity of radiology reports, and data imbalance. This study proposes novel method combinations of DL methods, along with data augmentation, adaptive pre-trained NLP model selection, and a clinical expert NLP rule-based classifier, to improve the accuracy of VTE identification in unstructured (free-text) radiology reports. Our experimental results demonstrate the model's efficacy, achieving an impressive 97\% accuracy and 97\% F1 score in predicting DVT, and an outstanding 98.3\% accuracy and 98.4\% F1 score in predicting PE. These findings emphasize the model's robustness and its potential to significantly contribute to VTE research.


title: Identification of melanoma diseases from multispectral dermatological images using a novel BSS approach

abstract: In this paper we propose a new approach to identify melanoma diseases by identifying the distribution of its main skin chromophores (melanin, oxyhemoglobin and deoxyhemoglobin) from multispectral dermatological images. Based on Blind Source Separation (BSS), our approach takes into account the shading present in most of the images. Assuming that the multispectral images have at least 4 spectral bands, it allows to estimate the distribution of each chromophore in addition to the shading without any a priori information, contrary to all existing methods that use 3 bands, i.e. RGB images. Indeed, the fact of neglecting the shading degrades their performance. To validate our method, we used a database of real multispectral dermatological images of skin affected by melanoma cancer. To measure our performance, in addition to the classical criterion of visually analyzing the estimated distributions with referring to the physiological knowledge of the disease, we proposed a new criterion that is based on our independence hypothesis. Using these two criteria, we could see that our approach is very efficient for the identification of melanoma.


title: AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP

abstract: Arbitrary-precision integer multiplication is the core kernel of many applications in simulation, cryptography, etc. Existing acceleration of arbitrary-precision integer multiplication includes CPUs, GPUs, FPGAs, and ASICs. Among these accelerators, FPGAs are promised to provide both good energy efficiency and flexibility. Surprisingly, in our implementations, FPGA has the lowest energy efficiency, i.e., 0.29x of the CPU and 0.17x of the GPU with the same generation fabrication. Therefore, key questions arise: Where do the energy efficiency gains of CPUs and GPUs come from? Can reconfigurable computing do better? If can, how to achieve that? We identify that the biggest energy efficiency gains of the CPUs and GPUs come from the dedicated vector units. FPGA uses DSPs and lookup tables to compose the needed computation, which incurs overhead when compared to using vector units directly. New reconfigurable computing, e.g., 'FPGA+vector units' is a novel and feasible solution to improve energy efficiency. In this paper, we propose to map arbitrary-precision integer multiplication onto such a heterogeneous platform, i.e., AMD/Xilinx Versal ACAP architecture. Designing on Versal ACAP incurs several challenges and we propose AIM: Arbitrary-precision Integer Multiplication on Versal ACAP to automate and optimize the design. AIM framework includes design space exploration and AIM automatic code generation to facilitate the system design and verification. We deploy the AIM framework on three different applications, including large integer multiplication (LIM), RSA, and Mandelbrot, on the AMD/Xilinx Versal ACAP VCK190 evaluation board. Our experimental results show that AIM achieves up to 12.6x, and 2.1x energy efficiency gains over the Intel Xeon Ice Lake 6346 CPU, and NVidia A5000 GPU respectively, which brings reconfigurable computing the most energy-efficient platform among CPUs and GPUs.


title: LLMR: Real-time Prompting of Interactive Worlds using Large Language Models

abstract: We present Large Language Model for Mixed Reality (LLMR), a framework for the real-time creation and modification of interactive Mixed Reality experiences using LLMs. LLMR leverages novel strategies to tackle difficult cases where ideal training data is scarce, or where the design goal requires the synthesis of internal dynamics, intuitive analysis, or advanced interactivity. Our framework relies on text interaction and the Unity game engine. By incorporating techniques for scene understanding, task planning, self-debugging, and memory management, LLMR outperforms the standard GPT-4 by 4x in average error rate. We demonstrate LLMR's cross-platform interoperability with several example worlds, and evaluate it on a variety of creation and modification tasks to show that it can produce and edit diverse objects, tools, and scenes. Finally, we conducted a usability study (N=11) with a diverse set that revealed participants had positive experiences with the system and would use it again.


title: On some generalizations of Hadamard's inversion theorem beyond differentiability

abstract: A recognized trend of research investigates generalizations of the Hadamard's inversion theorem to functions that may fail to be differentiable. In this vein, the present paper explores some consequences of a recent result about the existence of global Lipschitz continuous inverse by translating its metric assumptions in terms of nonsmooth analysis constructions. This exploration focuses on continuous, but possibly not locally Lipschitz mappings, acting in finite-dimensional Euclidean spaces. As a result, sufficient conditions for global invertibility are formulated by means of strict estimators, *-difference of convex compacta and regular/basic coderivatives. These conditions qualify the global inverse as a Lipschitz continuous mapping and provide quantitative estimates of its Lipschitz constant in terms of the above constructions.


title: Inspire the Large Language Model by External Knowledge on BioMedical Named Entity Recognition

abstract: Large language models (LLMs) have demonstrated dominating performance in many NLP tasks, especially on generative tasks. However, they often fall short in some information extraction tasks, particularly those requiring domain-specific knowledge, such as Biomedical Named Entity Recognition (NER). In this paper, inspired by Chain-of-thought, we leverage the LLM to solve the Biomedical NER step-by-step: break down the NER task into entity span extraction and entity type determination. Additionally, for entity type determination, we inject entity knowledge to address the problem that LLM's lack of domain knowledge when predicting entity category. Experimental results show a significant improvement in our two-step BioNER approach compared to previous few-shot LLM baseline. Additionally, the incorporation of external knowledge significantly enhances entity category determination performance.


title: The Broad Impact of Feature Imitation: Neural Enhancements Across Financial, Speech, and Physiological Domains

abstract: Initialization of neural network weights plays a pivotal role in determining their performance. Feature Imitating Networks (FINs) offer a novel strategy by initializing weights to approximate specific closed-form statistical features, setting a promising foundation for deep learning architectures. While the applicability of FINs has been chiefly tested in biomedical domains, this study extends its exploration into other time series datasets. Three different experiments are conducted in this study to test the applicability of imitating Tsallis entropy for performance enhancement: Bitcoin price prediction, speech emotion recognition, and chronic neck pain detection. For the Bitcoin price prediction, models embedded with FINs reduced the root mean square error by around 1000 compared to the baseline. In the speech emotion recognition task, the FIN-augmented model increased classification accuracy by over 3 percent. Lastly, in the CNP detection experiment, an improvement of about 7 percent was observed compared to established classifiers. These findings validate the broad utility and potency of FINs in diverse applications.


title: Characterizing the topological properties of one-dimensional non-hermitian systems without the Berry-Zak phase

abstract: A new method is proposed to predict the topological properties of one-dimensional periodic structures in wave physics, including quantum mechanics. From Bloch waves, a unique complex valued function is constructed, exhibiting poles and zeros. The sequence of poles and zeros of this function is a topological invariant that can be linked to the Berry-Zak phase. Since the characterization of the topological properties is done in the complex plane, it can easily be extended to the case of non-hermitian systems. The sequence of poles and zeros allows to predict topological phase transitions.

categories: quant-ph cond-mat.mes-hall math-ph math.MP


title: Bound states in the continuum and long-range coupling of polaritons in hexagonal boron nitride nanoresonators

abstract: Bound states in the continuum (BICs) garnered significant for their potential to create new types of nanophotonic devices. Most prior demonstrations were based on arrays of dielectric resonators, which cannot be miniaturized beyond the diffraction limit, reducing the applicability of BICs for advanced functions. Here, we demonstrate BICs and quasi-BICs based on high-quality factor phonon-polariton resonances in isotopically pure h11BN and how these states can be supported by periodic arrays of nanoresonators with sizes much smaller than the wavelength. We theoretically illustrate how BICs emerge from the band structure of the arrays and verify both numerically and experimentally the presence of these states and enhanced quality factor. Furthermore, we identify and characterize simultaneously quasi-BICs and bright states. Our method can be generalized to create a large number of optical states and to tune their coupling with the environment, paving the way to miniaturized nanophotonic devices with more advanced functions.


title: Life Cycle Analysis of the GRAND Experiment

abstract: The goal of our study is to assess the environmental impact of the installation and use of the Giant Radio Array for Neutrino Detection (GRAND) prototype detection units, based on the life cycle assessment (LCA) methodology, and to propose recommendations that contribute to reduce the environmental impacts of the project at later stages. The functional unit, namely the quantified description of the studied system and of the performance requirements it fulfills, is to detect radio signals autonomously during 20 years, with 300 detection units deployed over 200 km^2 in the Gansu province in China (corresponding to the prototype GRANDProto300). We consider four main phases: the extraction of the materials and the production of the detection units (upstream phases), the use and the end-of-life phases (downstream phases), with transportation between each step. An inventory analysis is performed for the seven components of each detection unit, based on transparent assumptions. Most of the inventory data are taken from the Idemat2021 database (Industrial Design & Engineering Materials). Our results show that the components with the highest environmental impact are the antenna structure and the battery. The most pregnant indicators are `resource use', mineral and metals'; `resource use, fossils'; `ionizing radiation, human health'; `climate change'; and `acidification'. Therefore, the actions that we recommend in the first place aim at reducing the impact of these components. They include limiting the mass of the raw material used in the antenna, changing the alloy of the antenna, considering another type of battery with an extended useful life, and the use of recycled materials for construction. As a pioneering study applying the LCA methodology to a large-scale physics experiment, this work can serve as a basis for future assessments by other collaborations.

categories: astro-ph.IM astro-ph.HE hep-ex physics.ins-det


title: Performance Conditioning for Diffusion-Based Multi-Instrument Music Synthesis

abstract: Generating multi-instrument music from symbolic music representations is an important task in Music Information Retrieval (MIR). A central but still largely unsolved problem in this context is musically and acoustically informed control in the generation process. As the main contribution of this work, we propose enhancing control of multi-instrument synthesis by conditioning a generative model on a specific performance and recording environment, thus allowing for better guidance of timbre and style. Building on state-of-the-art diffusion-based music generative models, we introduce performance conditioning - a simple tool indicating the generative model to synthesize music with style and timbre of specific instruments taken from specific performances. Our prototype is evaluated using uncurated performances with diverse instrumentation and achieves state-of-the-art FAD realism scores while allowing novel timbre and style control. Our project page, including samples and demonstrations, is available at benadar293.github.io/midipm


title: MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

abstract: Large language models (LLMs) have pushed the limits of natural language understanding and exhibited excellent problem-solving ability. Despite the great success, most existing open-source LLMs (e.g., LLaMA-2) are still far away from satisfactory for solving mathematical problem due to the complex reasoning procedures. To bridge this gap, we propose MetaMath, a fine-tuned language model that specializes in mathematical reasoning. Specifically, we start by bootstrapping mathematical questions by rewriting the question from multiple perspectives without extra knowledge, which results in a new dataset called MetaMathQA. Then we fine-tune the LLaMA-2 models on MetaMathQA. Experimental results on two popular benchmarks (i.e., GSM8K and MATH) for mathematical reasoning demonstrate that MetaMath outperforms a suite of open-source LLMs by a significant margin. Our MetaMath-7B model achieves 66.4% on GSM8K and 19.4% on MATH, exceeding the state-of-the-art models of the same size by 11.5% and 8.7%. Particularly, MetaMath-70B achieves an accuracy of 82.3% on GSM8K, slightly better than GPT-3.5-Turbo. We release all the MetaMathQA dataset, the MetaMath models with different model sizes and the training code for public use.


title: Gravitational Wave non-Gaussianity from trans-Planckian Quantum Noise

abstract: We examine the effect of a trans-Planckian phase on the dynamics of inflationary tensor perturbations. To remedy the fact that this regime is not fully captured by standard perturbation theory, we introduce an effective quantum noise source, whose role is regulated by the energy scale $\Lambda$. The presence of the source modifies the initial conditions for the tensor modes, leaving a distinct imprint. We study the amplitude and shape of the gravitational wave bispectrum of the model and compare these with their counterparts obtained under the assumptions of Bunch-Davies initial conditions and $\alpha$-vacua states. Depending on the value of the scale $\Lambda$, we find distinctive signatures associated with both the bispectrum shape and the non-linear parameter $f_{\rm NL}$.


title: Geometry of sequential quantum correlations and robust randomness certification

abstract: Quantum correlations between the measurements of two or more separated observers play a fundamental role in many applications, such as randomness generation or key distribution. Recently, it was realized that sequential measurements (i.e., defined with a precise temporal ordering between subsequent measurements on a given system) can enhance the performance of these protocols. However, the theoretical understanding of how to maximize this performance is limited and the relation with the boundary of quantum correlations is unexplored. In the case of one party on one side and two sequential parties on the other, we study the geometry of quantum correlations and its implications for robust device-independent randomness generation. We identify a boundary for the set of these correlations expressed as a trade-off between the amount of nonlocality between different observers and show that this allows to generate the maximum possible device-independent randomness in our setting, namely two bits. We propose a practical protocol based on non-projective measurements that can produce the boundary correlations under ideal conditions, and address its robustness to noise, showing that it is improved compared to previous approaches. Finally, we implement our protocol in a proof-of-concept experiment based on a photonic implementation. With the obtained correlations we could certify more bits per state with respect to the standard CHSH protocol, proving that our protocol is feasible and robust to real-world imperfections. Our work paves the way for a full understanding of sequential quantum correlations and their exploitation for practical and efficient device-independent protocols.


title: A new approach for identifying skin diseases from dermatological RGB images using source separation

abstract: In this article, we propose a new BSS approach for identifying skin diseases from RGB images that proceeds in two steps. We begin by separating the three main chromophores (oxyhemoglobin, deoxyhemoglobin and melanin) using Non-negative Matrix Factorization (NMF). For this purpose, we propose a special initialization of the solution matrices based on the sparsity of the chromophores, instead of initializing them with random matrices as is the case for basic versions of NMF. We then propose a new disease identification criterion that exploits the three contributions of each chromophore on the three spectral bands of our RGB dermatological image. To validate our approach, we used an open access database containing RGB images of melanoma and neavus. The results obtained showed good performance for our approach in terms of chromophore separation, compared to the most commonly used method in the literature, as well as disease identification compared to identification based on the most popular criterion.


title: The Reversal Curse: LLMs trained on "A is B" fail to learn "B is A"

abstract: We expose a surprising failure of generalization in auto-regressive large language models (LLMs). If a model is trained on a sentence of the form "A is B", it will not automatically generalize to the reverse direction "B is A". This is the Reversal Curse. For instance, if a model is trained on "Valentina Tereshkova was the first woman to travel to space", it will not automatically be able to answer the question, "Who was the first woman to travel to space?". Moreover, the likelihood of the correct answer ("Valentina Tershkova") will not be higher than for a random name. Thus, models do not generalize a prevalent pattern in their training set: if "A is B" occurs, "B is A" is more likely to occur. It is worth noting, however, that if "A is B" appears in-context, models can deduce the reverse relationship. We provide evidence for the Reversal Curse by finetuning GPT-3 and Llama-1 on fictitious statements such as "Uriah Hawthorne is the composer of Abyssal Melodies" and showing that they fail to correctly answer "Who composed Abyssal Melodies?". The Reversal Curse is robust across model sizes and model families and is not alleviated by data augmentation. We also evaluate ChatGPT (GPT-3.5 and GPT-4) on questions about real-world celebrities, such as "Who is Tom Cruise's mother? [A: Mary Lee Pfeiffer]" and the reverse "Who is Mary Lee Pfeiffer's son?". GPT-4 correctly answers questions like the former 79% of the time, compared to 33% for the latter. Code available at: https://github.com/lukasberglund/reversal_curse.


title: Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets

abstract: Despite large advances in recent years, real-time capable motion planning for autonomous road vehicles remains a huge challenge. In this work, we present a decision module that is based on set-based reachability analysis: First, we identify all possible driving corridors by computing the reachable set for the longitudinal position of the vehicle along the lanelets of the road network, where lane changes are modeled as discrete events. Next, we select the best driving corridor based on a cost function that penalizes lane changes and deviations from a desired velocity profile. Finally, we generate a reference trajectory inside the selected driving corridor, which can be used to guide or warm start low-level trajectory planners. For the numerical evaluation we combine our decision module with a motion-primitive-based and an optimization-based planner and evaluate the performance on 2000 challenging CommonRoad traffic scenarios as well in the realistic CARLA simulator. The results demonstrate that our decision module is real-time capable and yields significant speed-ups compared to executing a motion planner standalone without a decision module.


title: Compatibility of all noisy qubit observables

abstract: It is a crucial feature of quantum mechanics that not all measurements are compatible with each other. However, if measurements suffer from noise they may lose their incompatibility. Here we determine the critical visibility such that all qubit observables, i.e. all positive operator-valued measures (POVMs), become compatible. In addition, we apply our methods to quantum steering and Bell nonlocality. We obtain a tight local hidden state model for two-qubit Werner states of visibility 1/2. Interestingly, this proves that POVMs do not help to demonstrate quantum steering for this family of states. As an implication, this also provides a new bound on how much white noise the two-qubit singlet can tolerate before it does not violate any Bell inequality.


title: Linearity of $\mathbb{Z}_{2^L}$-Linear Codes via Schur Product

abstract: We propose an original approach to investigate the linearity of $\mathbb{Z}_{2^L}$-linear codes, i.e., codes obtained as the image of the generalized Gray map applied to $\mathbb{Z}_{2^L}$-additive codes. To accomplish that, we define two related binary codes: the associated and concatenated, where one could perform a straightforward analysis of the Schur product between their codewords and determine the linearity of the respective $\mathbb{Z}_{2^L}$-linear code. This work expands on previous contributions from the literature, where the linearity was established with respect to the kernel of a code and/or operations on $\mathbb{Z}_{2^L}$. The $\mathbb{Z}_{2^L}$-additive codes we apply the Gray map and check the linearity are the well-known Hadamard, simplex, and MacDonald codes. We also present families of Reed-Muller and cyclic codes that yield to linear $\mathbb{Z}_{2^L}$-linear codes and perform a computational verification of our proposed method applied to other $\mathbb{Z}_{2^L}$-additive codes.


title: Constraining dark energy cosmologies with spatial curvature using Supernovae JWST forecasting

abstract: Recent cosmological tensions, in particular, to infer the local value of the Hubble constant $H_0$, have developed new independent techniques to constrain cosmological parameters in several cosmologies. Moreover, even when the concordance Cosmological Constant Cold Dark Matter ($\Lambda$CDM) model has been well constrained with local observables, its physics has shown deviations from a flat background. Therefore, to explore a possible deviation from a flat $\Lambda$CDM model that could explain the $H_0$ value in tension with other techniques, in this paper we study new cosmological constraints in spatial curvature dark energy models. Additionally, to standard current Supernovae Type Ia (SNIa) catalogs, we extend the empirical distance ladder method through an SNIa sample using the capabilities of the James Webb Space Telescope (JWST) to forecast SNIa up to $z \sim 6$, with information on the star formation rates at high redshift. Furthermore, we found that our constraints provide an improvement in the statistics associated with $\Omega_{m}$ when combining SNIa Pantheon and SNIa Pantheon+ catalogs with JW forecasting data.


title: Taxonomy for Physics Beyond Quantum Mechanics

abstract: We propose terminology to classify interpretations of quantum mechanics and models that modify or complete quantum mechanics. Our focus is on models which have previously been referred to as superdeterministic (strong or weak), retrocausal (with or without signalling, dynamical or non-dynamical), future-input-dependent, atemporal and all-at-once, not always with the same meaning or context. Sometimes these models are assumed to be deterministic, sometimes not, the word deterministic has been given different meanings, and different notions of causality have been used when classifying them. This has created much confusion in the literature, and we hope that the terms proposed here will help to clarify the nomenclature. The general model framework that we will propose may also be useful to classify other interpretations and modifications of quantum mechanics. This document grew out of the discussions at the 2022 Bonn Workshop on Superdeterminism and Retrocausality.


title: Reranking for Natural Language Generation from Logical Forms: A Study based on Large Language Models

abstract: Large language models (LLMs) have demonstrated impressive capabilities in natural language generation. However, their output quality can be inconsistent, posing challenges for generating natural language from logical forms (LFs). This task requires the generated outputs to embody the exact semantics of LFs, without missing any LF semantics or creating any hallucinations. In this work, we tackle this issue by proposing a novel generate-and-rerank approach. Our approach involves initially generating a set of candidate outputs by prompting an LLM and subsequently reranking them using a task-specific reranker model. In addition, we curate a manually collected dataset to evaluate the alignment between different ranking metrics and human judgements. The chosen ranking metrics are utilized to enhance the training and evaluation of the reranker model. By conducting extensive experiments on three diverse datasets, we demonstrate that the candidates selected by our reranker outperform those selected by baseline methods in terms of semantic consistency and fluency, as measured by three comprehensive metrics. Our findings provide strong evidence for the effectiveness of our approach in improving the quality of generated outputs.


title: Learning to Drive Anywhere

abstract: Human drivers can seamlessly adapt their driving decisions across geographical locations with diverse conditions and rules of the road, e.g., left vs. right-hand traffic. In contrast, existing models for autonomous driving have been thus far only deployed within restricted operational domains, i.e., without accounting for varying driving behaviors across locations or model scalability. In this work, we propose AnyD, a single geographically-aware conditional imitation learning (CIL) model that can efficiently learn from heterogeneous and globally distributed data with dynamic environmental, traffic, and social characteristics. Our key insight is to introduce a high-capacity geo-location-based channel attention mechanism that effectively adapts to local nuances while also flexibly modeling similarities among regions in a data-driven manner. By optimizing a contrastive imitation objective, our proposed approach can efficiently scale across inherently imbalanced data distributions and location-dependent events. We demonstrate the benefits of our AnyD agent across multiple datasets, cities, and scalable deployment paradigms, i.e., centralized, semi-supervised, and distributed agent training. Specifically, AnyD outperforms CIL baselines by over 14% in open-loop evaluation and 30% in closed-loop testing on CARLA.


title: A rigorous model reduction for the anisotropic-scattering transport process

abstract: In this letter, we propose a reduced-order model to bridge the particle transport mechanics and the macroscopic fluid dynamics in the highly scattered regime. A rigorous mathematical derivation and a concise physical interpretation are presented for an anisotropic-scattering transport process with arbitrary order of scattering kernel. The prediction of the theoretical model perfectly agrees with the numerical experiments. A clear picture of the diffusion physics is revealed for the neutral particle transport in the asymptotic optically thick regime.


title: Satellite knots and immersed Heegaard Floer homology

abstract: We describe a new method for computing the $UV = 0$ knot Floer complex of a satellite knot given the $UV = 0$ knot Floer complex for the companion and a doubly pointed bordered Heegaard diagram for the pattern, showing that the complex for the satellite can be computed from an immersed doubly pointed Heegaard diagram obtained from the Heegaard diagram for the pattern by overlaying the immersed curve representing the complex for the companion. This method streamlines the usual bordered Floer method of tensoring with a bimodule associated to the pattern by giving an immersed curve interpretation of that pairing, and computing the module from the immersed diagram is often easier than computing the relevant bordered bimodule. In particular, for (1,1) patterns the resulting immersed diagram is genus one, and thus the computation is combinatorial. For (1,1) patterns this generalizes previous work of the first author which showed that such immersed Heegaard diagram computes the $V=0$ knot Floer complex of the satellite. As a key technical step, which is of independent interest, we extend the construction of a bigraded complex from a doubly pointed Heegaard diagram and of an extended type D structure from a torus-boundary bordered Heegaard diagram to allow Heegaard diagrams containing an immersed alpha curve.


title: Checking the second law at cosmic scales

abstract: Based on recent data about the history of the Hubble factor, it is argued that the second law of thermodynamics holds at the largest scales accessible to observation. This is consistent with previous studies of the same question.


title: Quantum Confusions, Cleared Up (or so I hope)

abstract: I use an instrumental approach to investigate some commonly made claims about interpretations of quantum mechanics, especially those that pertain questions of locality. The here presented investigation builds on a recently proposed taxonomy for quantum mechanics interpretations.


title: See to Touch: Learning Tactile Dexterity through Visual Incentives

abstract: Equipping multi-fingered robots with tactile sensing is crucial for achieving the precise, contact-rich, and dexterous manipulation that humans excel at. However, relying solely on tactile sensing fails to provide adequate cues for reasoning about objects' spatial configurations, limiting the ability to correct errors and adapt to changing situations. In this paper, we present Tactile Adaptation from Visual Incentives (TAVI), a new framework that enhances tactile-based dexterity by optimizing dexterous policies using vision-based rewards. First, we use a contrastive-based objective to learn visual representations. Next, we construct a reward function using these visual representations through optimal-transport based matching on one human demonstration. Finally, we use online reinforcement learning on our robot to optimize tactile-based policies that maximize the visual reward. On six challenging tasks, such as peg pick-and-place, unstacking bowls, and flipping slender objects, TAVI achieves a success rate of 73% using our four-fingered Allegro robot hand. The increase in performance is 108% higher than policies using tactile and vision-based rewards and 135% higher than policies without tactile observational input. Robot videos are best viewed on our project website: https://see-to-touch.github.io/.


title: Environment-biased Feature Ranking for Novelty Detection Robustness

abstract: We tackle the problem of robust novelty detection, where we aim to detect novelties in terms of semantic content while being invariant to changes in other, irrelevant factors. Specifically, we operate in a setup with multiple environments, where we determine the set of features that are associated more with the environments, rather than to the content relevant for the task. Thus, we propose a method that starts with a pretrained embedding and a multi-env setup and manages to rank the features based on their environment-focus. First, we compute a per-feature score based on the feature distribution variance between envs. Next, we show that by dropping the highly scored ones, we manage to remove spurious correlations and improve the overall performance by up to 6%, both in covariance and sub-population shift cases, both for a real and a synthetic benchmark, that we introduce for this task.


title: Text-Guided Vector Graphics Customization

abstract: Vector graphics are widely used in digital art and valued by designers for their scalability and layer-wise topological properties. However, the creation and editing of vector graphics necessitate creativity and design expertise, leading to a time-consuming process. In this paper, we propose a novel pipeline that generates high-quality customized vector graphics based on textual prompts while preserving the properties and layer-wise information of a given exemplar SVG. Our method harnesses the capabilities of large pre-trained text-to-image models. By fine-tuning the cross-attention layers of the model, we generate customized raster images guided by textual prompts. To initialize the SVG, we introduce a semantic-based path alignment method that preserves and transforms crucial paths from the exemplar SVG. Additionally, we optimize path parameters using both image-level and vector-level losses, ensuring smooth shape deformation while aligning with the customized raster image. We extensively evaluate our method using multiple metrics from vector-level, image-level, and text-level perspectives. The evaluation results demonstrate the effectiveness of our pipeline in generating diverse customizations of vector graphics with exceptional quality. The project page is https://intchous.github.io/SVGCustomization.


title: PanoVOS: Bridging Non-panoramic and Panoramic Views with Transformer for Video Segmentation

abstract: Panoramic videos contain richer spatial information and have attracted tremendous amounts of attention due to their exceptional experience in some fields such as autonomous driving and virtual reality. However, existing datasets for video segmentation only focus on conventional planar images. To address the challenge, in this paper, we present a panoramic video dataset, PanoVOS. The dataset provides 150 videos with high video resolutions and diverse motions. To quantify the domain gap between 2D planar videos and panoramic videos, we evaluate 15 off-the-shelf video object segmentation (VOS) models on PanoVOS. Through error analysis, we found that all of them fail to tackle pixel-level content discontinues of panoramic videos. Thus, we present a Panoramic Space Consistency Transformer (PSCFormer), which can effectively utilize the semantic boundary information of the previous frame for pixel-level matching with the current frame. Extensive experiments demonstrate that compared with the previous SOTA models, our PSCFormer network exhibits a great advantage in terms of segmentation results under the panoramic setting. Our dataset poses new challenges in panoramic VOS and we hope that our PanoVOS can advance the development of panoramic segmentation/tracking.


title: SlowFast Network for Continuous Sign Language Recognition

abstract: The objective of this work is the effective extraction of spatial and dynamic features for Continuous Sign Language Recognition (CSLR). To accomplish this, we utilise a two-pathway SlowFast network, where each pathway operates at distinct temporal resolutions to separately capture spatial (hand shapes, facial expressions) and dynamic (movements) information. In addition, we introduce two distinct feature fusion methods, carefully designed for the characteristics of CSLR: (1) Bi-directional Feature Fusion (BFF), which facilitates the transfer of dynamic semantics into spatial semantics and vice versa; and (2) Pathway Feature Enhancement (PFE), which enriches dynamic and spatial representations through auxiliary subnetworks, while avoiding the need for extra inference time. As a result, our model further strengthens spatial and dynamic representations in parallel. We demonstrate that the proposed framework outperforms the current state-of-the-art performance on popular CSLR datasets, including PHOENIX14, PHOENIX14-T, and CSL-Daily.


title: Gamma-ray burst precursors from tidally resonant neutron star oceans: potential implications for GRB 211211A

abstract: Precursor emission has been observed seconds to minutes before some short gamma-ray bursts. While the origins of these precursors remain unknown, one potential explanation relies on the resonance of neutron star pulsational modes with the tidal forces during the inspiral phase of a compact binary merger. In this paper, we present a model for short gamma-ray burst precursors which relies on tidally resonant neutron star oceans. In this scenario, the onset of tidal resonance in the crust-ocean interface mode corresponds to the ignition of the precursor flare, possibly through the interaction between the excited neutron star ocean and the surface magnetic fields. From just the precursor total energy, the time before the main event, and a detected quasi-periodic oscillation frequency, we may constrain the binary parameters and neutron star ocean properties as never before. Our model can immediately distinguish neutron star-black hole mergers from binary neutron star mergers without gravitational wave detection. We apply our model to GRB 211211A, the recently detected long duration short gamma-ray burst with a quasi-periodic precursor, and explore the parameters of this system within its context. The precursor of GRB 211211A is consistent with a tidally resonant neutron star ocean explanation that requires an extreme-mass ratio NSBH merger and a high mass neutron star. While difficult to reconcile with the gamma-ray burst main emission and associated kilonova, our results constrain the possible precursor generating mechanisms in this system. A systematic study of short gamma-ray burst precursors with the model presented here can test precursor origin and could probe the possible connection between gamma-ray bursts and neutron star-black hole mergers.


title: TalkNCE: Improving Active Speaker Detection with Talk-Aware Contrastive Learning

abstract: The goal of this work is Active Speaker Detection (ASD), a task to determine whether a person is speaking or not in a series of video frames. Previous works have dealt with the task by exploring network architectures while learning effective representations has been less explored. In this work, we propose TalkNCE, a novel talk-aware contrastive loss. The loss is only applied to part of the full segments where a person on the screen is actually speaking. This encourages the model to learn effective representations through the natural correspondence of speech and facial movements. Our loss can be jointly optimized with the existing objectives for training ASD models without the need for additional supervision or training data. The experiments demonstrate that our loss can be easily integrated into the existing ASD frameworks, improving their performance. Our method achieves state-of-the-art performances on AVA-ActiveSpeaker and ASW datasets.


title: LongLoRA: Efficient Fine-tuning of Long-Context Large Language Models

abstract: We present LongLoRA, an efficient fine-tuning approach that extends the context sizes of pre-trained large language models (LLMs), with limited computation cost. Typically, training LLMs with long context sizes is computationally expensive, requiring extensive training hours and GPU resources. For example, training on the context length of 8192 needs 16x computational costs in self-attention layers as that of 2048. In this paper, we speed up the context extension of LLMs in two aspects. On the one hand, although dense global attention is needed during inference, fine-tuning the model can be effectively and efficiently done by sparse local attention. The proposed shifted sparse attention effectively enables context extension, leading to non-trivial computation saving with similar performance to fine-tuning with vanilla attention. Particularly, it can be implemented with only two lines of code in training, while being optional in inference. On the other hand, we revisit the parameter-efficient fine-tuning regime for context expansion. Notably, we find that LoRA for context extension works well under the premise of trainable embedding and normalization. LongLoRA combines this improved LoRA with S^2-Attn. LongLoRA demonstrates strong empirical results on various tasks on Llama2 models from 7B/13B to 70B. LongLoRA extends Llama2 7B from 4k context to 100k, or Llama2 70B to 32k on a single 8x A100 machine. LongLoRA extends models' context while retaining their original architectures, and is compatible with most existing techniques, like Flash-Attention2. In addition, we further conduct supervised fine-tuning with LongLoRA and our long instruction-following LongAlpaca dataset.


title: Energy-space random walk in a driven disordered Bose gas

abstract: Motivated by the experimental observation [1] that driving a non-interacting Bose gas in a 3D box with weak disorder leads to power-law energy growth, $E \propto t^{\eta}$ with $\eta=0.46(2)$, and compressed-exponential momentum distributions that show dynamic scaling, we perform systematic numerical and analytical studies of this system. Schr\"odinger-equation simulations reveal a crossover from $\eta \approx 0.5$ to $\eta \approx 0.4$ with increasing disorder strength, hinting at the existence of two different dynamical regimes. We present a semi-classical model that captures the simulation results and allows an understanding of the dynamics in terms of an energy-space random walk, from which a crossover from $E \propto t^{1/2}$ to $E \propto t^{2/5}$ scaling is analytically obtained. The two limits correspond to the random walk being limited by the rate of the elastic disorder-induced scattering or the rate at which the drive can change the system's energy. Our results provide the theoretical foundation for further experiments.

categories: cond-mat.quant-gas cond-mat.dis-nn nlin.CD physics.atom-ph quant-ph


title: Rehearsal: Simulating Conflict to Teach Conflict Resolution

abstract: Interpersonal conflict is an uncomfortable but unavoidable fact of life. Navigating conflict successfully is a skill -- one that can be learned through deliberate practice -- but few have access to effective training or feedback. To expand this access, we introduce Rehearsal, a system that allows users to rehearse conflicts with a believable simulated interlocutor, explore counterfactual "what if?" scenarios to identify alternative conversational paths, and learn through feedback on how and when to apply specific conflict strategies. Users can utilize Rehearsal to practice handling a variety of predefined conflict scenarios, from office disputes to relationship issues, or they can choose to create their own setting. To enable Rehearsal, we develop IRP prompting, a method of conditioning output of a large language model on the influential Interest-Rights-Power (IRP) theory from conflict resolution. Rehearsal uses IRP to generate utterances grounded in conflict resolution theory, guiding users towards counterfactual conflict resolution strategies that help de-escalate difficult conversations. In a between-subjects evaluation, 40 participants engaged in an actual conflict with a confederate after training. Compared to a control group with lecture material covering the same IRP theory, participants with simulated training from Rehearsal significantly improved their performance in the unaided conflict: they reduced their use of escalating competitive strategies by an average of 67%, while doubling their use of cooperative strategies. Overall, Rehearsal highlights the potential effectiveness of language models as tools for learning and practicing interpersonal skills.


title: Model non-Hermitian topological operators without skin effect

abstract: We propose a general principle of constructing non-Hermitian (NH) operators for insulating and gapless topological phases in any dimension ($d$) that over an extended NH parameter regime feature real eigenvalues and zero-energy topological boundary modes, when in particular their Hermitian cousins are also topological. However, the topological zero modes disappear when the NH operators accommodate complex eigenvalues. These systems are always devoid of NH skin effects, thereby extending the realm of the bulk-boundary correspondence to NH systems in terms of solely the left or right zero-energy boundary localized eigenmodes. We showcase these general and robust outcomes for NH topological insulators in $d=1,2$ and $3$, encompassing their higher-order incarnations, as well as for NH topological Dirac, Weyl and nodal-loop semimetals. Possible realizations of proposed NH topological phases in designer materials, optical lattices and classical metamaterials are highlighted.


title: LLM-Grounder: Open-Vocabulary 3D Visual Grounding with Large Language Model as an Agent

abstract: 3D visual grounding is a critical skill for household robots, enabling them to navigate, manipulate objects, and answer questions based on their environment. While existing approaches often rely on extensive labeled data or exhibit limitations in handling complex language queries, we propose LLM-Grounder, a novel zero-shot, open-vocabulary, Large Language Model (LLM)-based 3D visual grounding pipeline. LLM-Grounder utilizes an LLM to decompose complex natural language queries into semantic constituents and employs a visual grounding tool, such as OpenScene or LERF, to identify objects in a 3D scene. The LLM then evaluates the spatial and commonsense relations among the proposed objects to make a final grounding decision. Our method does not require any labeled training data and can generalize to novel 3D scenes and arbitrary text queries. We evaluate LLM-Grounder on the ScanRefer benchmark and demonstrate state-of-the-art zero-shot grounding accuracy. Our findings indicate that LLMs significantly improve the grounding capability, especially for complex language queries, making LLM-Grounder an effective approach for 3D vision-language tasks in robotics. Videos and interactive demos can be found on the project website https://chat-with-nerf.github.io/ .


title: ForceSight: Text-Guided Mobile Manipulation with Visual-Force Goals

abstract: We present ForceSight, a system for text-guided mobile manipulation that predicts visual-force goals using a deep neural network. Given a single RGBD image combined with a text prompt, ForceSight determines a target end-effector pose in the camera frame (kinematic goal) and the associated forces (force goal). Together, these two components form a visual-force goal. Prior work has demonstrated that deep models outputting human-interpretable kinematic goals can enable dexterous manipulation by real robots. Forces are critical to manipulation, yet have typically been relegated to lower-level execution in these systems. When deployed on a mobile manipulator equipped with an eye-in-hand RGBD camera, ForceSight performed tasks such as precision grasps, drawer opening, and object handovers with an 81% success rate in unseen environments with object instances that differed significantly from the training data. In a separate experiment, relying exclusively on visual servoing and ignoring force goals dropped the success rate from 90% to 45%, demonstrating that force goals can significantly enhance performance. The appendix, videos, code, and trained models are available at https://force-sight.github.io/.


title: Minimal Kitaev-transmon qubit based on double quantum dots

abstract: Minimal Kitaev chains composed of two semiconducting quantum dots coupled via a grounded superconductor have emerged as a promising platform to realize and study Majorana bound states (MBSs). We propose a hybrid qubit based on a Josephson junction between two such double quantum dots (DQDs) embedded in a superconducting qubit geometry. The qubit makes use of the $4{\pi}$-Josephson effect in the Kitaev junction to create a subspace based on the even/odd fermionic parities of the two DQD arrays hosting MBSs. Deep in the transmon regime, we demonstrate that by performing circuit QED spectroscopy on such hybrid Kitaev-Transmon "Kitmon" qubit one could observe distinct MBS features in perfect agreement with precise analytical predictions in terms of DQD parameters only. This agreement allows to extract the Majorana polarization in the junction from the microwave response.


title: TinyCLIP: CLIP Distillation via Affinity Mimicking and Weight Inheritance

abstract: In this paper, we propose a novel cross-modal distillation method, called TinyCLIP, for large-scale language-image pre-trained models. The method introduces two core techniques: affinity mimicking and weight inheritance. Affinity mimicking explores the interaction between modalities during distillation, enabling student models to mimic teachers' behavior of learning cross-modal feature alignment in a visual-linguistic affinity space. Weight inheritance transmits the pre-trained weights from the teacher models to their student counterparts to improve distillation efficiency. Moreover, we extend the method into a multi-stage progressive distillation to mitigate the loss of informative weights during extreme compression. Comprehensive experiments demonstrate the efficacy of TinyCLIP, showing that it can reduce the size of the pre-trained CLIP ViT-B/32 by 50%, while maintaining comparable zero-shot performance. While aiming for comparable performance, distillation with weight inheritance can speed up the training by 1.4 - 7.8 $\times$ compared to training from scratch. Moreover, our TinyCLIP ViT-8M/16, trained on YFCC-15M, achieves an impressive zero-shot top-1 accuracy of 41.1% on ImageNet, surpassing the original CLIP ViT-B/16 by 3.5% while utilizing only 8.9% parameters. Finally, we demonstrate the good transferability of TinyCLIP in various downstream tasks. Code and models will be open-sourced at https://aka.ms/tinyclip.


title: Active Stereo Without Pattern Projector

abstract: This paper proposes a novel framework integrating the principles of active stereo in standard passive camera systems without a physical pattern projector. We virtually project a pattern over the left and right images according to the sparse measurements obtained from a depth sensor. Any such devices can be seamlessly plugged into our framework, allowing for the deployment of a virtual active stereo setup in any possible environment, overcoming the limitation of pattern projectors, such as limited working range or environmental conditions. Experiments on indoor/outdoor datasets, featuring both long and close-range, support the seamless effectiveness of our approach, boosting the accuracy of both stereo algorithms and deep networks.


title: SIAK-NG User Interface Design with Design Thinking Method to Support System Integration

abstract: This research aims to improve the user interface of SIAK-NG (Next Generation Academic Information System), the academic portal website of the University of Indonesia through a design thinking approach. Despite being in existence for several decades and undergoing multiple improvements, there has been no specific effort to evaluate the quality of the user interface. In line with the revamping of SIAK-NG according to the University of Indonesia 2019-2024 master plan, this study aims to provide the necessary insights. The research focuses on redesigning the website interface of SIAK-NG to address user complaints and difficulties, particularly related to the unsatisfactory interface design. The Design Thinking approach is employed to generate solutions that meet the needs of active University of Indonesia students who are the primary users. Through methods such as storyboarding, empathy mapping, usability testing, and others, the author will design recommendations that align with user requirements.


title: Using a Catenary Trajectory to Reduce Wellbore Friction in Horizontal Extended Reach Drilling

abstract: Wellbore friction is one of the biggest concerns when drilling due to its relation to the total cost. The catenary concept was introduced to reduce wellbore friction, but it requires detailed analyses. This project would fill this gap. A catenary shape is simply the natural shape of a rope, chain, or drill string. The drill string will then hang freely inside the wellbore. Perfectly, there should be no contact between the hole and the string, and thus no friction. Torque and drag should be minimized this way. A case study is introduced to examine the outcome between Catenary Trajectory Design and traditional 2D Arc design. The calculation procedure of Catenary Trajectory and 2D Arc Design can be found in an MS Excel spreadsheet which is easy to use and reliable for designing catenary well trajectories for extended-reach wells.


title: Stochastic scheduling of autonomous mobile robots at hospitals

abstract: This paper studies the scheduling of autonomous mobile robots (AMRs) at hospitals where the stochastic travel times and service times of AMRs are affected by the surrounding environment. The routes of AMRs are planned to minimize the daily cost of the hospital (including the AMR fixed cost, penalty cost of violating the time window, and transportation cost). To efficiently generate high-quality solutions, some properties are identified and incorporated into an improved tabu search (I-TS) algorithm for problem-solving. Experimental evaluations demonstrate that the I-TS algorithm outperforms existing methods by producing high-quality solutions. Based on the characteristics of healthcare requests and the AMR working environment, scheduling AMRs reasonably can effectively provide medical services, improve the utilization of medical resources, and reduce hospital costs.


title: Drone Flight Path Architecture

abstract: This project was built from a pre-existing architecture that facilitates the planning and automatic execution of drone routes in a known space through a 3D virtual reality environment. Our work consisted in extending this architecture by integrating a new web component, making use of a 3D map API, to facilitate to people who do not have access to virtual reality hardware, the possibility of planning flight routes that have as parameters the <latitude, longitude> with respect to the globe and also a component in meters that represents the height at which the drone rises in a certain point. Additionally, the configuration possibilities of a route were extended in order to take advantage of one of the components that gives more value and potential to unmanned aircrafts: the use of the camera in multiple contexts and scenarios. The extension of this solution allows the user to assign different camera tasks along the route, see in real time what the camera is capturing and, after the flight, retrieve the multimedia content that was created


title: Use Scenarios & Practical Examples of AI Use in Education

abstract: This report presents a set of use scenarios based on existing resources that teachers can use as inspiration to create their own, with the aim of introducing artificial intelligence (AI) at different pre-university levels, and with different goals. The Artificial Intelligence Education field (AIEd) is very active, with new resources and tools arising continuously. Those included in this document have already been tested with students and selected by experts in the field, but they must be taken just as practical examples to guide and inspire teachers creativity.


title: A Case for AI Safety via Law

abstract: How to make artificial intelligence (AI) systems safe and aligned with human values is an open research question. Proposed solutions tend toward relying on human intervention in uncertain situations, learning human values and intentions through training or observation, providing off-switches, implementing isolation or simulation environments, or extrapolating what people would want if they had more knowledge and more time to think. Law-based approaches--such as inspired by Isaac Asimov--have not been well regarded. This paper makes a case that effective legal systems are the best way to address AI safety. Law is defined as any rules that codify prohibitions and prescriptions applicable to particular agents in specified domains/contexts and includes processes for enacting, managing, enforcing, and litigating such rules.


title: The Rise and Fall of Cryptocurrencies: Defining the Economic and Social Values of Blockchain Technologies, assessing the Opportunities, and defining the Financial and Cybersecurity Risks of the Metaverse

abstract: This paper contextualises the common queries of "why is crypto crashing?" and "why is crypto down?", the research transcends beyond the frequent market fluctuations to unravel how cryptocurrencies fundamentally work and the step-by-step process on how to create a cryptocurrency. The study examines blockchain technologies and their pivotal role in the evolving Metaverse, shedding light on topics such as how to invest in cryptocurrency, the mechanics behind crypto mining, and strategies to effectively buy and trade cryptocurrencies. Through an interdisciplinary approach, the research transitions from the fundamental principles of fintech investment strategies to the overarching implications of blockchain within the Metaverse. Alongside exploring machine learning potentials in financial sectors and risk assessment methodologies, the study critically assesses whether developed or developing nations are poised to reap greater benefits from these technologies. Moreover, it probes into both enduring and dubious crypto projects, drawing a distinct line between genuine blockchain applications and Ponzi-like schemes. The conclusion resolutely affirms the continuing dominance of blockchain technologies, underlined by a profound exploration of their intrinsic value and a reflective commentary by the author on the potential risks confronting individual investors.


title: Evaluating the diversity and utility of materials proposed by generative models

abstract: Generative machine learning models can use data generated by scientific modeling to create large quantities of novel material structures. Here, we assess how one state-of-the-art generative model, the physics-guided crystal generation model (PGCGM), can be used as part of the inverse design process. We show that the default PGCGM's input space is not smooth with respect to parameter variation, making material optimization difficult and limited. We also demonstrate that most generated structures are predicted to be thermodynamically unstable by a separate property-prediction model, partially due to out-of-domain data challenges. Our findings suggest how generative models might be improved to enable better inverse design.


title: Aviation Safety Risk Analysis and Flight Technology Assessment Issues

abstract: This text highlights the significance of flight safety in China's civil aviation industry and emphasizes the need for comprehensive research. It focuses on two main areas: analyzing exceedance events and statistically evaluating non-exceedance data. The challenges of current approaches lie in insufficient cause analysis for exceedances. The proposed solutions involve data preprocessing, reliability assessment, quantifying flight control using neural networks, exploratory data analysis, flight personnel skill evaluation with machine learning, and establishing real-time automated warnings. These endeavors aim to enhance flight safety, personnel assessment, and warning mechanisms, contributing to a safer and more efficient civil aviation sector.


title: FUTURE-AI: International consensus guideline for trustworthy and deployable artificial intelligence in healthcare

abstract: Despite major advances in artificial intelligence (AI) for medicine and healthcare, the deployment and adoption of AI technologies remain limited in real-world clinical practice. In recent years, concerns have been raised about the technical, clinical, ethical and legal risks associated with medical AI. To increase real world adoption, it is essential that medical AI tools are trusted and accepted by patients, clinicians, health organisations and authorities. This work describes the FUTURE-AI guideline as the first international consensus framework for guiding the development and deployment of trustworthy AI tools in healthcare. The FUTURE-AI consortium was founded in 2021 and currently comprises 118 inter-disciplinary experts from 51 countries representing all continents, including AI scientists, clinicians, ethicists, and social scientists. Over a two-year period, the consortium defined guiding principles and best practices for trustworthy AI through an iterative process comprising an in-depth literature review, a modified Delphi survey, and online consensus meetings. The FUTURE-AI framework was established based on 6 guiding principles for trustworthy AI in healthcare, i.e. Fairness, Universality, Traceability, Usability, Robustness and Explainability. Through consensus, a set of 28 best practices were defined, addressing technical, clinical, legal and socio-ethical dimensions. The recommendations cover the entire lifecycle of medical AI, from design, development and validation to regulation, deployment, and monitoring. FUTURE-AI is a risk-informed, assumption-free guideline which provides a structured approach for constructing medical AI tools that will be trusted, deployed and adopted in real-world practice. Researchers are encouraged to take the recommendations into account in proof-of-concept stages to facilitate future translation towards clinical practice of medical AI.


title: Enhancing interoperability among health information systems in low- and middle- income countries: a review of challenges and strategies

abstract: The review article aims to provide an overview of the challenges and strategies for enhancing interoperability among health information systems in low- and middle- income countries (LMICs). Achieving interoperability in LMICs presents unique challenges due to various factors, such as limited resources, fragmented health information systems, and diverse health IT infrastructure. The methodology involves conducting a comprehensive literature review, synthesising findings, identifying challenges and strategies, analysing and interpreting results, and writing and finalising the article. The article highlights that the interoperability challenges include a lack of standardisation, fragmented systems, limited resources, and data privacy concerns. The article proposes strategies to enhance interoperability in LMICs, such as standardisation of data formats and protocols, consolidation of health information systems, investment in health IT infrastructure, and capacity building of health IT professionals in LMICs. The article aims to provide insights into the current state and potential strategies for enhancing interoperability among health information systems in LMICs, intending to improve healthcare delivery and outcomes in these KEYWORDS Interoperability, Health information systems, low and middle-income countries (LMICs), challenges, strategies, standardisation


title: Ground Truth Or Dare: Factors Affecting The Creation Of Medical Datasets For Training AI

abstract: One of the core goals of responsible AI development is ensuring high-quality training datasets. Many researchers have pointed to the importance of the annotation step in the creation of high-quality data, but less attention has been paid to the work that enables data annotation. We define this work as the design of ground truth schema and explore the challenges involved in the creation of datasets in the medical domain even before any annotations are made. Based on extensive work in three health-tech organisations, we describe five external and internal factors that condition medical dataset creation processes. Three external factors include regulatory constraints, the context of creation and use, and commercial and operational pressures. These factors condition medical data collection and shape the ground truth schema design. Two internal factors include epistemic differences and limits of labelling. These directly shape the design of the ground truth schema. Discussions of what constitutes high-quality data need to pay attention to the factors that shape and constrain what is possible to be created, to ensure responsible AI design.


title: Development of a Selective Wet-Chemical Etchant for 3D Structuring of Silicon via Nonlinear Laser Lithography

abstract: Recently-demonstrated high-quality three-dimensional (3D) subsurface laser processing inside crystalline silicon (c-Si) wafers opens a door to a wide range of novel applications in multidisciplinary research areas. Using this technique, a novel maskless micro-pillars with precise control on the surface reflection and coverage are successfully fabricated by etching the laser processed region of c-Si wafer. To achieve this, a particular selective wet chemical etching is developed to follow subsurface laser processing of c-Si to reveal the desired 3D structures with smooth surfaces. Here, we report the development of a novel chromium-free chemical etching recipe based on copper nitrate, which yields substantially smooth surfaces at high etch rate and selectivity on the both laser-processed Si surface and subsurface, i.e., without significant etching of the unmodified Si. Our results show that the etch rate and surface morphology are interrelated and strongly influenced by the composition of the adopted etching solution. After an extensive compositional study performed at room temperature, we identify an etchant with a selectivity of over 1600 times for laser-modified Si with respect to unmodified Si. We also support our findings using density functional theory calculations of HF and Cu adsorption energies, indicating significant diversity on the c-Si and laser-modified surfaces.


title: Mono/Multi-material Characterization Using Hyperspectral Images and Multi-Block Non-Negative Matrix Factorization

abstract: Plastic sorting is a very essential step in waste management, especially due to the presence of multilayer plastics. These monomaterial and multimaterial plastics are widely employed to enhance the functional properties of packaging, combining beneficial properties in thickness, mechanical strength, and heat tolerance. However, materials containing multiple polymer species need to be pretreated before they can be recycled as monomaterials and therefore should not end up in monomaterial streams. Industry 4.0 has significantly improved materials sorting of plastic packaging in speed and accuracy compared to manual sorting, specifically through Near Infrared Hyperspectral Imaging (NIRHSI) that provides an automated, fast, and accurate material characterization, without sample preparation. Identification of multimaterials with HSI however requires novel dedicated approaches for chemical pattern recognition. Non negative Matrix Factorization, NMF, is widely used for the chemical resolution of hyperspectral images. Chemically relevant model constraints may make it specifically valuable to identify multilayer plastics through HSI. Specifically, Multi Block Non Negative Matrix Factorization (MBNMF) with correspondence among different chemical species constraint may be used to evaluate the presence or absence of particular polymer species. To translate the MBNMF model into an evidence based sorting decision, we extended the model with an F test to distinguish between monomaterial and multimaterial objects. The benefits of our new approach, MBNMF, were illustrated by the identification of several plastic waste objects.


title: Decentralized Token Economy Theory (DeTEcT)

abstract: This paper presents a pioneering approach for simulation of economic activity, policy implementation, and pricing of goods in token economies. The paper proposes a formal analysis framework for wealth distribution analysis and simulation of interactions between economic participants in an economy. Using this framework, we define a mechanism for identifying prices that achieve the desired wealth distribution according to some metric, and stability of economic dynamics. The motivation to study tokenomics theory is the increasing use of tokenization, specifically in financial infrastructures, where designing token economies is in the forefront. Tokenomics theory establishes a quantitative framework for wealth distribution amongst economic participants and implements the algorithmic regulatory controls mechanism that reacts to changes in economic conditions. In our framework, we introduce a concept of tokenomic taxonomy where agents in the economy are categorized into agent types and interactions between them. This novel approach is motivated by having a generalized model of the macroeconomy with controls being implemented through interactions and policies. The existence of such controls allows us to measure and readjust the wealth dynamics in the economy to suit the desired objectives.


title: Approaches to Generative Artificial Intelligence, A Social Justice Perspective

abstract: In the 2023-2024 academic year, the widespread availability of generative artificial intelligence, exemplified by ChatGPT's 1.6 billion monthly visits, is set to impact academic integrity. With 77% of high school students previously reporting engagement in dishonest behaviour, the rise of AI-driven writing assistance, dubbed 'AI-giarism' by Chan (arXiv:2306.03358v2), will make plagiarism more accessible and less detectable. While these concerns are urgent, they also raise broader questions about the revolutionary nature of this technology, including autonomy, data privacy, copyright, and equity. This paper aims to explore generative AI from a social justice perspective, examining the training of these models, the inherent biases, and the potential injustices in detecting AI-generated writing.


title: Education in the age of Generative AI: Context and Recent Developments

abstract: With the emergence of generative artificial intelligence, an increasing number of individuals and organizations have begun exploring its potential to enhance productivity and improve product quality across various sectors. The field of education is no exception. However, it is vital to notice that artificial intelligence adoption in education dates back to the 1960s. In light of this historical context, this white paper serves as the inaugural piece in a four-part series that elucidates the role of AI in education. The series delves into topics such as its potential, successful applications, limitations, ethical considerations, and future trends. This initial article provides a comprehensive overview of the field, highlighting the recent developments within the generative artificial intelligence sphere.


title: Onchain Sports Betting using UBET Automated Market Maker

abstract: The paper underscores how decentralization in sports betting addresses the drawbacks of traditional centralized platforms, ensuring transparency, security, and lower fees. Non-custodial solutions empower bettors with ownership of funds, bypassing geographical restrictions. Decentralized platforms enhance security, privacy, and democratic decision-making. However, decentralized sports betting necessitates automated market makers (AMMs) for efficient liquidity provision. Existing AMMs like Uniswap lack alignment with fair odds, creating risks for liquidity providers. To mitigate this, the paper introduces UBET AMM (UAMM), utilizing smart contracts and algorithms to price sports odds fairly. It establishes an on-chain betting framework, detailing market creation, UAMM application, collateral liquidity pools, and experiments that exhibit positive outcomes. UAMM enhances decentralized sports betting by ensuring liquidity, decentralized pricing, and global accessibility, promoting trustless and efficient betting.


title: Deep Knowledge Tracing is an implicit dynamic multidimensional item response theory model

abstract: Knowledge tracing consists in predicting the performance of some students on new questions given their performance on previous questions, and can be a prior step to optimizing assessment and learning. Deep knowledge tracing (DKT) is a competitive model for knowledge tracing relying on recurrent neural networks, even if some simpler models may match its performance. However, little is known about why DKT works so well. In this paper, we frame deep knowledge tracing as a encoderdecoder architecture. This viewpoint not only allows us to propose better models in terms of performance, simplicity or expressivity but also opens up promising avenues for future research directions. In particular, we show on several small and large datasets that a simpler decoder, with possibly fewer parameters than the one used by DKT, can predict student performance better.


title: The Impact of Live Polling Quizzes on Student Engagement and Performance in Computer Science Lectures

abstract: Prior to the COVID-19 pandemic, the adoption of live polling and real-time feedback tools gained traction in higher education to enhance student engagement and learning outcomes. Integrating live polling activities has been shown to boost attention, participation, and understanding of course materials. However, recent changes in learning behaviours due to the pandemic necessitate a reevaluation of these active learning technologies. In this context, our study focuses on the Computer Science (CS) domain, investigating the impact of Live Polling Quizzes (LPQs) in undergraduate CS lectures. These quizzes comprise fact-based, formally defined questions with clear answers, aiming to enhance engagement, learning outcomes, and overall perceptions of the course module. A survey was conducted among 70 undergraduate CS students, attending CS modules with and without LPQs. The results revealed that while LPQs contributed to higher attendance, other factors likely influenced attendance rates more significantly. LPQs were generally viewed positively, aiding comprehension and maintaining student attention and motivation. However, careful management of LPQ frequency is crucial to prevent overuse for some students and potential reduced motivation. Clear instructions for using the polling software were also highlighted as essential.


title: The E.U.'s Artificial Intelligence Act: An Ordoliberal Assessment

abstract: In light of the rise of generative AI and recent debates about the socio-political implications of large-language models and chatbots, this article investigates the E.U.'s Artificial Intelligence Act (AIA), the world's first major attempt by a government body to address and mitigate the potentially negative impacts of AI technologies. The article critically analyzes the AIA from a distinct economic ethics perspective, i.e., ordoliberalism 2.0 - a perspective currently lacking in the academic literature. It evaluates, in particular, the AIA's ordoliberal strengths and weaknesses and proposes reform measures that could be taken to strengthen the AIA.


title: ActiveAI: Introducing AI Literacy for Middle School Learners with Goal-based Scenario Learning

abstract: The ActiveAI project addresses key challenges in AI education for grades 7-9 students by providing an engaging AI literacy learning experience based on the AI4K12 knowledge framework. Utilizing learning science mechanisms such as goal-based scenarios, immediate feedback, project-based learning, and intelligent agents, the app incorporates a variety of learner inputs like sliders, steppers, and collectors to enhance understanding. In these courses, students work on real-world scenarios like analyzing sentiment in social media comments. This helps them learn to effectively engage with AI systems and develop their ability to evaluate AI-generated output. The Learning Engineering Process (LEP) guided the project's creation and data instrumentation, focusing on design and impact. The project is currently in the implementation stage, leveraging the intelligent tutor design principles for app development. The extended abstract presents the foundational design and development, with further evaluation and research to be conducted in the future.


title: Artificial Intelligence and Aesthetic Judgment

abstract: Generative AIs produce creative outputs in the style of human expression. We argue that encounters with the outputs of modern generative AI models are mediated by the same kinds of aesthetic judgments that organize our interactions with artwork. The interpretation procedure we use on art we find in museums is not an innate human faculty, but one developed over history by disciplines such as art history and art criticism to fulfill certain social functions. This gives us pause when considering our reactions to generative AI, how we should approach this new medium, and why generative AI seems to incite so much fear about the future. We naturally inherit a conundrum of causal inference from the history of art: a work can be read as a symptom of the cultural conditions that influenced its creation while simultaneously being framed as a timeless, seemingly acausal distillation of an eternal human condition. In this essay, we focus on an unresolved tension when we bring this dilemma to bear in the context of generative AI: are we looking for proof that generated media reflects something about the conditions that created it or some eternal human essence? Are current modes of interpretation sufficient for this task? Historically, new forms of art have changed how art is interpreted, with such influence used as evidence that a work of art has touched some essential human truth. As generative AI influences contemporary aesthetic judgment we outline some of the pitfalls and traps in attempting to scrutinize what AI generated media means.


title: Considerations for health care institutions training large language models on electronic health records

abstract: Large language models (LLMs) like ChatGPT have excited scientists across fields; in medicine, one source of excitement is the potential applications of LLMs trained on electronic health record (EHR) data. But there are tough questions we must first answer if health care institutions are interested in having LLMs trained on their own data; should they train an LLM from scratch or fine-tune it from an open-source model? For healthcare institutions with a predefined budget, what are the biggest LLMs they can afford? In this study, we take steps towards answering these questions with an analysis on dataset sizes, model sizes, and costs for LLM training using EHR data. This analysis provides a framework for thinking about these questions in terms of data scale, compute scale, and training budgets.


title: Security for Children in the Digital Society -- A Rights-based and Research Ethics Approach

abstract: In this position paper, we present initial perspectives and research results from the project "SIKID - Security for Children in the Digital World." The project is situated in a German context with a focus on European frameworks for the development of Artificial Intelligence and the protection of children from security risks arising in the course of algorithm-mediated online communication. The project strengthens networks of relevant stakeholders, explores regulatory measures and informs policy makers, and develops a children's rights approach to questions of security for children online while also developing a research ethics approach for conducting research with children on online harms such as cybergrooming and sexual violence against children.


title: Task allocation planning based on HTN for national economic mobilization

abstract: In order to cope with the task allocation in national economic mobilization, a task allocation planning method based on Hierarchical Task Network (HTN) for national economic mobilization is proposed. An HTN planning algorithm is designed to solve and optimize task allocation, and a method is explored to deal with the resource shortage. Finally, based on a real task allocation case in national economic mobilization, an experimental study verifies the effectiveness of the proposed method.


title: Cultural Alignment in Large Language Models: An Explanatory Analysis Based on Hofstede's Cultural Dimensions

abstract: The deployment of large language models (LLMs) raises concerns regarding their cultural misalignment and potential ramifications on individuals and societies with diverse cultural backgrounds. While the discourse has focused mainly on political and social biases, our research proposes a Cultural Alignment Test (Hoftede's CAT) to quantify cultural alignment using Hofstede's cultural dimension framework, which offers an explanatory cross-cultural comparison through the latent variable analysis. We apply our approach to quantitatively evaluate LLMs, namely Llama 2, GPT-3.5, and GPT-4, against the cultural dimensions of regions like the United States, China, and Arab countries, using different prompting styles and exploring the effects of language-specific fine-tuning on the models' behavioural tendencies and cultural values. Our results quantify the cultural alignment of LLMs and reveal the difference between LLMs in explanatory cultural dimensions. Our study demonstrates that while all LLMs struggle to grasp cultural values, GPT-4 shows a unique capability to adapt to cultural nuances, particularly in Chinese settings. However, it faces challenges with American and Arab cultures. The research also highlights that fine-tuning LLama 2 models with different languages changes their responses to cultural questions, emphasizing the need for culturally diverse development in AI for worldwide acceptance and ethical use. For more details or to contribute to this research, visit our GitHub page https://github.com/reemim/Hofstedes_CAT/


title: Integrating Competency-Based Education in Interactive Learning Systems

abstract: Artemis is an interactive learning system that organizes courses, hosts lecture content and interactive exercises, conducts exams, and creates automatic assessments with individual feedback. Research shows that students have unique capabilities, previous experiences, and expectations. However, the course content on current learning systems, including Artemis, is not tailored to a student's competencies. The main goal of this paper is to describe how to make Artemis capable of competency-based education and provide individual course content based on the unique characteristics of every student. We show how instructors can define relations between competencies to create a competency relation graph, how Artemis measures and visualizes the student's progress toward mastering a competency, and how the progress can generate a personalized learning path for students that recommends relevant learning resources. Finally, we present the results of a user study regarding the usability of the newly designed competency visualization and give an outlook on possible improvements and future visions.