output
20022026
most citedObservation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC

10.9k citations

Showing 2026Show all

15 papers · 1 filter

cs.CL2026

SAGE: A Strategy-Aware Graph-Enhanced Generation Framework For Online Counseling

Eliya Naomi Aharon, Meytal Grimland, Avi Segal +4

Effective mental health counseling is a complex, theory-driven process requiring the simultaneous integration of psychological frameworks, real-time distress signals, and strategic…

cs.CE2026

Accelerating Sparse Linear Solvers with an Optical Laser Processing Unit

Dan Gluck, Yotam Mimran, Andrey Karenskih +4

Solving large, sparse linear systems is a fundamental workload in scientific computing and engineering simulations, often dominating runtime and energy consumption in high-performa…

cs.CV2026

Video Analysis and Generation via a Semantic Progress Function

Gal Metzer, Sagi Polaczek, Ali Mahdavi-Amiri +2

Transformations produced by image and video generation models often evolve in a highly non-linear manner: long stretches where the content barely changes are followed by sudden, ab…

cs.CV20262 cited

One Shot Learning for Edge Detection on Point Clouds

Zhikun Tu, Yuhe Zhang, Yiou Jia +2

Each scanner possesses its unique characteristics and exhibits its distinct sampling error distribution. Training a network on a dataset that includes data collected from different…

cs.LO2026

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy

Eden Frenkel, Kenneth L. McMillan, Oded Padon +1

We propose an incremental approach for safety proofs that decomposes a proof with a complex inductive invariant into a sequence of simpler proof steps. Our proof system combines ru…

physics.optics20263 cited

Single Plane Spatial Mode Sorter

Khen Cohen, Yoav Yosif-Or, Yaron Oz +1

A mode sorter separates a set of M orthogonal spatial modes in a shared input channel into M different output channels. Here we present an analytic derivation and experimental vali…