2 citations · 2 across the 4 of their papers we have counts for
9 papers
Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
Ido Pinto, Yizhak Yisrael Elboher, Haoze Wu +2
The synthesis of inductive loop invariants remains a critical bottleneck in automated program verification. While Large Language Models (LLMs) show promise in mitigating this issue…
Study of Central Exclusive Production of , and Pairs in Proton-Proton Collisions at GeV with the STAR Detector at RHIC
STAR Collaboration, B. E. Aboona, J. Adam +385
We report on the first measurement of the Central Exclusive Production process in proton-proton collisions: (where ) at the center-of-…
Measurement of Kaon Directed Flow in Au+Au Collisions in the High Baryon Density Region
STAR Collaboration, B. E. Aboona, J. Adam +360
Rapidity-odd directed flow measurements are presented for and in AuAu collisions at = 3.0, 3.2, 3.5, and 3.9 GeV with the STAR exp…
Identified charged hadron production in Au+Au collisions at = 54.4 GeV with the STAR detector
STAR Collaboration, B. E. Aboona, J. Adam +360
We present results on the production of , , , and in Au+Au collisions at = 54.4~GeV using the STAR detector at RHIC, at midra…
Probing Late-Stage Hadronic Interactions at High Baryon Density via Production in the RHIC Beam Energy Scan Program
STAR Collaboration, B. E. Aboona, J. Adam +360
A precision measurement of the meson yield is reported in Au+Au collisions at and using the high-statistic…
Observation of charmonium sequential suppression in heavy-ion collisions at the Relativistic Heavy Ion Collider
STAR Collaboration, B. E. Aboona, J. Adam +370
We report measurements of charmonium sequential suppression in Ru+Ru and Zr+Zr collisions at = 200 GeV with the STAR experiment at the Relativistic Heavy…