Related papers: Hyperloop -- The ALICE analysis train system for R…

We present TRACE-CS, a novel hybrid system that combines symbolic reasoning with large language models (LLMs)to address contrastive queries in course scheduling problems. TRACE-CS leverages logic-based techniques to encode scheduling…

The ALICE experiment at the LHC measures properties of the strongly interacting matter formed in ultrarelativistic heavy-ion collisions. Such studies require accurate particle identification (PID). ALICE provides PID information via several…

ALICE (A Large Ion Collider Experiment) studies the transition of nuclear matter to a deconfined phase known as Quark Gluon Plasma, in ultra-relativistic heavy-ion collisions at the LHC. ALICE is equipped with a muon spectrometer for the…

ALICE is the Large Hadron Collider (LHC) experiment dedicated to the study of heavy ion collisions. The main purpose of ALICE is to investigate the properties of a new state of deconfined nuclear matter, the Quark Gluon Plasma (QGP).…

This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified as a state-full…

Current large language models reason in isolation. Although it is common to sample multiple reasoning paths in parallel, these trajectories do not interact, and often fail in the same redundant ways. We introduce LACE, a framework that…

The ALICE experiment at CERN has undergone a major upgrade during the Long Shutdown 2 of the LHC during 2019-2021. A key element is the installation of the new Inner Tracking System 2 (ITS2). The new ITS2 based on CMOS Monolithic Active…

A Large Ion Collider Experiment (ALICE) is the only experiment at the Large Hadron Collider (LHC) dedicated to the study of heavy ion collisions. The Time Projection Chamber (TPC) is the main tracking detector covering the pseudo rapidity…

In order to meet the challenges of the Run 3 data rates and volumes, the ALICE collaboration is merging the online and offline infrastructures into a common framework: ALICE-O2. O2 is based on FairRoot and FairMQ, a message-based,…

After the successful installation and first operation of the new Inner Tracking System (ITS2), which consists of about 10 m$^2$ of monolithic silicon pixel sensors, ALICE is pioneering the usage of bent, wafer-scale pixel sensors for the…

Accurate shape and trajectory estimation of dynamic objects is essential for reliable automated driving. Classical Bayesian extended-object models offer theoretical robustness and efficiency but depend on completeness of a-priori and…

Over the last years, machine learning tools have been successfully applied to a wealth of problems in high-energy physics. A typical example is the classification of physics objects. Supervised machine learning methods allow for significant…

ALICE (A Large Ion Collider Experiment) experiment at CERN LHC is designed to study the properties of the Quark-Gluon Plasma (QGP) in heavy-ion collisions. In 2019-2020 the upgrade of CERN LHC will increase the luminosity and the collision…

ALICE (Adaptive Learning for Interdisciplinary Collaborative Environments) is an open-source web based adaptive learning system designed for interdisciplinary instruction. ALICE has the potential to transform education by empowering…

Aligned large language models (LLMs) demonstrate exceptional capabilities in task-solving, following instructions, and ensuring safety. However, the continual learning aspect of these aligned LLMs has been largely overlooked. Existing…

AI agents have been developed for complex real-world tasks from coding to customer service. But AI agent evaluations suffer from many challenges that undermine our understanding of how well agents really work. We introduce the Holistic…

ATLAS is making extensive efforts towards preparing a detector upgrade for the high luminosity operations of the LHC (HL-LHC), which will commence operation in about 10 years. The current ATLAS Inner Detector will be replaced by an…

The pseudorapidity densities of charged particles and inclusive photons produced in high energy nuclear collisions are essential observables to characterise the global properties of the collisions, such as the achieved energy density, and…

The design, construction, and commissioning of the ALICE Time-Projection Chamber (TPC) is described. It is the main device for pattern recognition, tracking, and identification of charged particles in the ALICE experiment at the CERN LHC.…

Recent advances in reinforcement learning (RL) have enabled impressive humanoid behaviors in simulation, yet transferring these results to new robots remains challenging. In many real deployments, the primary bottleneck is no longer…