most citedEquivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

2 citations

7 papers

cs.CV2026

HUI360: A 360° Egocentric Dataset and Baselines for Human-Robot Interaction Anticipation

Raphael Lorenzo-Louis, Fabio Amadio, Bertrand Luvison +1

As robots increasingly operate in human-populated environments, anticipating human intentions is essential for enabling proactive and socially aware behavior. Automatic anticipatio…

cs.LG2026

Foundation vs. Specialized Models: Evaluating Catastrophic Forgetting in Continual Time Series Forecasting

Nouha Karaouli, Denis Coquenet, Elisa Fromont +2

While Time Series Foundation Models (TSFMs) excel in zero-shot tasks, their behavior under continual fine tuning is poorly understood. We present the first systematic study of cata…

hep-th20261 cited

Functional Renormalization Group Approach for Signal Detection

Vincent Lahoche, Dine Ousmane Samary, Mohamed Tamaazousti

This review paper uses renormalization group techniques for signal detection in nearly-continuous positive spectra. We highlight universal aspects of the analogue field-theory appr…

cs.CV20261 cited

Less Precise Can Be More Reliable: A Systematic Evaluation of Quantization's Impact on VLMs Beyond Accuracy

Aymen Bouguerra, Daniel Montoya, Alexandra Gomez-Villa +2

Vision-Language Models (VLMs) such as CLIP have revolutionized zero-shot classification and safety-critical tasks, including Out-of-Distribution (OOD) detection. However, their hig…

physics.ins-det20261 cited

Aluminum-Based Superconducting Tunnel Junction Sensors for Nuclear Recoil Spectroscopy

Spencer L. Fretwell, Connor Bray, Inwook Kim +31

The BeEST experiment is searching for sub-MeV sterile neutrinos by measuring nuclear recoil energies from the decay of Be implanted into superconducting tunnel junction (STJ) s…

cs.PL2026

Hybrid Path-Sums for Hybrid Quantum Programs

Christophe Chareton, Jad Issa, Mathieu Nguyen +2

As quantum computing becomes an emerging reality, designing efficient quantum programming capabilities is becoming more and more important. Particularly, the debugging and validati…